6978 search results - page 8 / 1396 » On Proofs in System P |
JMIV
2006
13 years 7 months ago
2006
This paper studies the multi-solution phenomenon for the perspective four point (P4P) problem from geometric and algebraic aspects. We give a pure geometric proof that the P4P pro...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
IJFCS
2008
13 years 7 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...