7988 search results - page 317 / 1598 » A Useful Undecidable Theory |
143
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
144
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...
146
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
133
Voted
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
181
click to vote
FGR
2002
IEEE
15 years 10 months ago
2002
IEEE
A vision system is demonstrated that adaptively allocates computational resources over multiple cues to robustly track a target in 3D. The system uses a particle filter to mainta...