8450 search results - page 1583 / 1690 » Interactively Modeling with Photogrammetry |
145
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
142
Voted
AGENTS
1999
Springer
15 years 7 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
149
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
183
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
149
click to vote
SPAA
1993
ACM
15 years 7 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...