286 search results - page 42 / 58 » On Modal Deductive Databases |
ICMI
2004
Springer
14 years 27 days ago
2004
Springer
The interaction between human beings and computers will be more natural if computers are able to perceive and respond to human non-verbal communication such as emotions. Although ...
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
DEXAW
2007
IEEE
14 years 1 months ago
2007
IEEE
As part of the general growth and diversification of media in different modalities, the presence of information in the form of human speech in the world-wide body of digital conte...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
ISMIS
1994
Springer
13 years 11 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...