175 search results - page 24 / 35 » A Complete and Recursive Feature Theory |
SCP
2010
13 years 5 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
MVA
2007
13 years 9 months ago
2007
This paper presents a recognition method for human behavior identification based on motion history image theory. The motion history image has the advantage that it can record the ...
FMOODS
2003
13 years 8 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
LOGCOM
2010
13 years 6 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...