1027 search results - page 42 / 206 » Representing and Reasoning with Operational Semantics |
97
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...
90
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...
96
Voted
KES
2004
Springer
15 years 6 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
142
click to vote
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...