6047 search results - page 242 / 1210 » Modeling with Extend |
129
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
149
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
137
click to vote
IJCV
2006
15 years 4 months ago
2006
We propose a variational framework for the integration of multiple competing shape priors into level set based segmentation schemes. By optimizing an appropriate cost functional wi...
170
Voted
JMM2
2006
15 years 4 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
138
click to vote
MST
2006
15 years 4 months ago
2006
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...