635 search results - page 10 / 127 » Reasoning About Quantum Knowledge |
103
Voted
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
94
Voted
ECOI
2010
14 years 11 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
106
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
220
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...
89
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...