1275 search results - page 115 / 255 » Are you having difficulty |
CADE
2010
Springer
13 years 10 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ECCB
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
APAL
2008
13 years 9 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
IJCV
2006
13 years 9 months ago
2006
Standard approaches to stereo correspondence have difficulty when scene structure does not lie in or near the frontal parallel plane, in part because an orientation disparity as we...
IPM
2006
13 years 9 months ago
2006
Searchers can face problems finding the information they seek. One reason for this is that they may have difficulty devising queries to express their information needs. In this ar...