3482 search results - page 479 / 697 » Cooperative Assembly Systems |
149
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
Building on previous work of the OASIS group at SICS, this paper presents a generic peer-to-peer system for the sView personal service platform. The sView platform provides each u...
159
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
137
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
178
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
184
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...