2694 search results - page 86 / 539 » Frege's New Science |
123
click to vote
GI
2007
Springer
16 years 16 days ago
2007
Springer
: Many of ADAS applications such as pedestrian and vehicle detection are using stereo vision. By computing the well-known disparity the range of objects ahead of the car can be det...
149
click to vote
GI
2007
Springer
16 years 16 days ago
2007
Springer
: Negative information provides important additional knowledge that is not exploited for sensor data fusion tasks by default. This paper presents a new approach to incorporate such...
170
click to vote
RTA
2007
Springer
16 years 15 days ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
141
click to vote
SOFSEM
2007
Springer
16 years 15 days ago
2007
Springer
Indexing of factors is a widely used and useful technique in stringology and can be seen as a tool in solving diverse text algorithmic problems. A gapped-factor is a concatenation ...
160
click to vote
SPIN
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...