981 search results - page 159 / 197 » Negation in Spatial Reasoning |
88
Voted
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...
107
click to vote
ISARCS
2010
14 years 11 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
66
Voted
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
To find near-duplicate documents, fingerprint-based paradigms such as Broder's shingling and Charikar's simhash algorithms have been recognized as effective approaches a...
81
Voted
ECIS
2004
14 years 11 months ago
2004
Adverse events in hospitals, events in which harm results to a person receiving health care, are well documented (Wilson 1995, Hepler 2001). However, while factors such as lack of...