970 search results - page 185 / 194 » Dynamics and Automaticity of Context: A Cognitive Modeling A... |
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
JAIR
2008
13 years 7 months ago
2008
Gesture is a non-verbal modality that can contribute crucial information to the understanding of natural language. But not all gestures are informative, and non-communicative hand...
HPDC
2007
IEEE
13 years 11 months ago
2007
IEEE
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...
IMC
2006
ACM
14 years 1 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...