2989 search results - page 379 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
154
click to vote
AI
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
154
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
168
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
172
click to vote
IMA
2003
Springer
15 years 11 months ago
2003
Springer
In extension of the bit commitment task and following work initiated by Crépeau and Kilian, we introduce and solve the problem of characterising the optimal rate at which a discr...
169
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...