1661 search results - page 159 / 333 » Advanced carving techniques |
134
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
178
click to vote
MM
2006
ACM
16 years 9 days ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
183
click to vote
MOBIWAC
2006
ACM
16 years 9 days ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
149
click to vote
SIGIR
2006
ACM
16 years 9 days ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
166
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Feature-based methods have found increasing use in many applications such as object recognition, 3D reconstruction and mosaicing. In this paper, we focus on the problem of matchin...