31387 search results - page 443 / 6278 » Abstracts |
154
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
191
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
181
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
215
click to vote
RSEISP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artificial Intelligence. In this abstract we compare a number of such reasoning schemes and s...
179
click to vote
GIR
2006
ACM
16 years 1 months ago
2006
ACM
Abstract Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Clustering and Search Process. General Terms: Algorithms, Design, Human Factors. Keywords. Epis...