9490 search results - page 1841 / 1898 » Slow Intelligence Systems |
116
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
AE
2005
Springer
15 years 6 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
93
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
113
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
120
click to vote
DILS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...