4066 search results - page 49 / 814 » Almost Complete Sets |
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
ICTL
1994
14 years 2 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
ESWS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
DICTA
2007
13 years 11 months ago
2007
A common problem when using automated structure from motion techniques is that the object to be modelled can only be partially reconstructed from the video. This can occur because...
AAAI
1997
13 years 11 months ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...