6020 search results - page 202 / 1204 » A New Approach to Model Counting |
183
click to vote
CVPR
2009
IEEE
17 years 2 days ago
2009
IEEE
We propose an algorithm that simultaneously extracts
disparities and alpha matting information given a stereo
image pair. Our method divides the reference image into
a set of ov...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
134
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
119
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
129
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...