Sciweavers

3742 search results - page 527 / 749
» On the Use of Formal Techniques for Validation
Sort
View
TROB
2002
212views more  TROB 2002»
15 years 6 months ago
Path planning for robust image-based control
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...
Youcef Mezouar, François Chaumette
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 5 months ago
Towards a Collision-Free WLAN: Dynamic Parameter Adjustment in CSMA/E2CA
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...
Jaume Barceló, Boris Bellalta, Cristina Can...
MVA
2010
126views Computer Vision» more  MVA 2010»
15 years 5 months ago
Rapid automated detection of roots in minirhizotron images
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...
Guang Zeng, Stanley T. Birchfield, Christina E. We...
EMNLP
2009
15 years 4 months ago
Discovery of Term Variation in Japanese Web Search Queries
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 ...
Hisami Suzuki, Xiao Li, Jianfeng Gao
CVPR
2012
IEEE
13 years 9 months ago
Modulation transfer function of patch-based stereo systems
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...
Ronny Klowsky, Arjan Kuijper, Michael Goesele