113 search results - page 12 / 23 » Strict Canonical Constructive Systems |
PDPTA
1996
13 years 9 months ago
1996
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....
ECAL
2001
Springer
14 years 11 days ago
2001
Springer
A crucial feature of evolving natural systems is parallelism. The simultaneous and distributed application of rules (governed by e.g. biochemistry) is generally considered as the p...
DEBU
2008
13 years 8 months ago
2008
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...
COOPIS
1998
IEEE
14 years 4 days ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
KBSE
1997
IEEE
14 years 2 days ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...