1833 search results - page 223 / 367 » Mechanized Verification with Sharing |
169
click to vote
ACL
2007
15 years 8 months ago
2007
The AMI Meeting Corpus is now publicly available, including manual annotation files generated in the NXT XML format, but lacking explicit metadata for the 171 meetings of the cor...
146
click to vote
BCSHCI
2008
15 years 8 months ago
2008
In this poster, we propose the design of a multimodal robotic interaction mechanism that is intended to be used by Aphasics for storytelling. Through limited physical interaction,...
196
click to vote
ACSW
2004
15 years 7 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...
156
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Current peer-to-peer (P2P) systems often suffer from a large fraction of freeriders not contributing any resources to the network. Various mechanisms have been designed to overcom...
158
click to vote
FLAIRS
2003
15 years 7 months ago
2003
This research concerns the comparison of three different artificial evolution approaches for the design of cooperative behavior in a group of simulated mobile robots. The first an...