3742 search results - page 527 / 749 » On the Use of Formal Techniques for Validation |
174
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a distributed MAC protocol that allows collision-free access to the medium in WLAN. The onl...
161
click to vote
MVA
2010
15 years 5 months ago
2010
An approach for rapid, automatic detection of plant roots in minirhizotron images is presented. The problem is modeled as a Gibbs point process with a modified Candy model, in wh...
203
click to vote
EMNLP
2009
15 years 4 months ago
2009
In this paper we address the problem of identifying a broad range of term variations in Japanese web search queries, where these variations pose a particularly thorny problem due ...
191
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A widely used technique to recover a 3D surface from photographs is patch-based (multi-view) stereo reconstruction. Current methods are able to reproduce fine surface details, th...