2585 search results - page 365 / 517 » Automating Coherent Logic |
177
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
170
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
194
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
Term signal is an existing text representation that depicts a term as a vector of frequencies of occurrences in a number of user-defined partitions of a document. Although term si...
163
click to vote
UAI
2003
15 years 7 months ago
2003
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...
190
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...