343 search results - page 49 / 69 » Complete Axiomatizations for Reasoning About Knowledge and T... |
DKE
2006
14 years 9 months ago
2006
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...
EDCC
2008
Springer
14 years 11 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
83
Voted
AAAI
2007
15 years 2 hour ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
76
Voted
SSDBM
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
81
Voted
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...