32028 search results - page 127 / 6406 » Experimenting a |
154
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
171
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...
178
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
Group communication is a widely studied paradigm for building fault-tolerant distributed systems. The Armada project at the University of Michigan is a collaborative effort with t...
145
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
160
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...