3690 search results - page 150 / 738 » Computation with classical sequents |
86
Voted
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Simple binary patterns have been successfully used for extracting feature representations for visual object classification. In this paper, we present a method to learn a set of d...
118
click to vote
WACV
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present a novel vision-based system for automatic detection and extraction of complex road networks from various sensor resources such as aerial photographs, sate...
CRV
2007
IEEE
15 years 4 months ago
2007
IEEE
When an observer moves in a 3D static scene, the motion field depends on the depth of the visible objects and on the observer’s instantaneous translation and rotation. By compu...
NDSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Fingerprinting is a widely used technique among the networking and security communities for identifying different implementations of the same piece of networking software running ...
COORDINATION
2007
Springer
15 years 4 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...