4229 search results - page 675 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
135
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
145
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
145
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
161
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
241
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...