We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardnes
Formal Verification Techniques Based on Boolean Satisfiability Problem
Adapt Bagging to Nearest Neighbor Classifiers
Searching Databases with Keywords
Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams
Online Palmprint Identification System for Civil Applications
Polygonal Shape Blending with Topological Evolutions
A Quotient Space Approximation Model of Multiresolution Signal Analysis
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
CORBA-Based Analysis of Multi Agent Behavior
Integrating Parallelizing Compilation Technologies for SMP Clusters
Urban Traffic Information Service Application Grid
Viewpoints on Grid Standards
Book Review on "Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists"
Predicate mu-Calculus for Mobile Ambients
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation