635 search results - page 10 / 127 » Reasoning About Quantum Knowledge |
131
click to vote
ITS
2004
Springer
15 years 8 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 ...
123
Voted
ECOI
2010
15 years 1 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...
138
Voted
SIGSOFT
2005
ACM
16 years 4 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...
256
Voted
ICDE
2006
IEEE
16 years 4 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...
111
Voted
ECAI
2004
Springer
15 years 7 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...