32 search results - page 3 / 7 » Intelligent Human-Computer Communication of Engineers at Ext... |
TABLEAUX
1998
Springer
13 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
AAAI
2007
13 years 9 months ago
2007
Multimedia content presents special challenges for the search engines, and could benefit from semantic annotation of images. Unfortunately, manual labeling is too tedious and tim...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
CONIELECOMP
2006
IEEE
14 years 1 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
FLAIRS
2006
13 years 8 months ago
2006
We introduce the particular functionality of the Complaint Engine suite, the integrated complaint management component for mediating consumer disputes. We formulate the problem of...