1091 search results - page 62 / 219 » The State of Cognitive Systems Engineering |
ECIR
2008
Springer
13 years 9 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...
SIGMETRICS
2004
ACM
14 years 1 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
FLAIRS
2006
13 years 9 months ago
2006
Different research studies have proved that emotions meet a pivotal role in cognitive processes and in particular the studies made by Damasio who argues that human-beings without ...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...