17049 search results - page 3095 / 3410 » cans 2007 |
164
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
158
click to vote
OSN
2008
15 years 6 months ago
2008
In this paper, we present a new hybrid optical burst switch architecture (HOBS) that takes advantage of the pre-transmission idle time during lightpath establishment. In dynamic c...
200
click to vote
PAMI
2007
15 years 6 months ago
2007
—With the rapid development of the World Wide Web, people benefit more and more from the sharing of information. However, Web pages with obscene, harmful, or illegal content can ...
176
Voted
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
One of the hard problems in automated sign language recognition is the movement epenthesis (me) problem. Movement epenthesis is the gesture movement that bridges two consecutive s...
167
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Object detection can be challenging when the object class exhibits large variations. One commonly-used strategy is to first partition the space of possible object variations and t...