100 search results - page 8 / 20 » Aiding Human Reliance Decision Making Using Computational Mo... |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
VRCAI
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we mention about various techniques in order to create ”socially intelligent virtual humans” which can interact with people using natural ways of communication....
IJMMS
2007
13 years 7 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
ATC
2009
Springer
13 years 10 months ago
2009
Springer
Currently, there is an increasing tendency to migrate the management of communications and information systems onto the Web. This is making many traditional service support models ...