33 search results - page 4 / 7 » Circular reasoning |
FOSSACS
2010
Springer
14 years 24 days ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
3DPH
2009
13 years 7 months ago
2009
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...
LICS
2005
IEEE
13 years 12 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
APWEB
2006
Springer
13 years 10 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
POPL
1997
ACM
13 years 10 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...