1351 search results - page 183 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
167
click to vote
RITA
2006
15 years 5 months ago
2006
: Advances in data storage and image acquisition technologies have enabled the creation of large image datasets. In this scenario, it is necessary to develop appropriate informatio...
162
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
194
click to vote
ANLP
1992
15 years 7 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
148
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
179
click to vote
CSCW
2012
ACM
14 years 1 months ago
2012
ACM
In this article we describe a novel approach to collaborative video authoring using handheld projectors. PicoTales are created by sketching story elements on a projector+phone pro...