10568 search results - page 361 / 2114 » Computer Intelligence and Formalization |
202
click to vote
ICAT
2006
IEEE
16 years 1 months ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
224
click to vote
AGENTCL
2003
Springer
16 years 23 days ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
202
click to vote
CONSTRAINTS
2010
15 years 5 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
187
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
205
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Chemotaxis can be defined as an innate behavioural response by an organism to a directional stimulus, in which bacteria, and other single-cell or multicellular organisms direct...