7109 search results - page 1145 / 1422 » Process Algebra with Combinators |
153
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper discusses how we integrated our 3D car tracking approach with the lane following module RALPH on the Navlab autonomous vehicles, obtaining a hybrid vision system that t...
215
click to vote
RECOMB
1999
Springer
15 years 11 months ago
1999
Springer
The abundance of information provided by completely sequenced genomes de nes a starting point for new insights in the multilevel organization of organisms and their evolution. At ...
189
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
162
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
185
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents efficient image-based rendering techniques used in the context of an architectural walkthrough system. Portals (doors and windows) are rendered by warping laye...