Sciweavers

12194 search results - page 2341 / 2439
» cans 2010
Sort
View
IANDC
2010
141views more  IANDC 2010»
15 years 3 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner
ICGI
2010
Springer
15 years 3 months ago
Learning PDFA with Asynchronous Transitions
In this paper we extend the PAC learning algorithm due to Clark and Thollard for learning distributions generated by PDFA to automata whose transitions may take varying time length...
Borja Balle, Jorge Castro, Ricard Gavaldà
ICMCS
2010
IEEE
181views Multimedia» more  ICMCS 2010»
15 years 3 months ago
LDPC FEC code extension for unequal error protection in 2nd generation DVB systems
One of the envisioned advantages of scalable video coding is its inherent suitability for achieving unequal error protection (UEP). UEP can be effectively used for graceful qualit...
Lukasz Kondrad, Imed Bouazizi, Moncef Gabbouj
ICRA
2010
IEEE
242views Robotics» more  ICRA 2010»
15 years 3 months ago
Axel rover paddle wheel design, efficiency, and sinkage on deformable terrain
—This paper presents the Axel robotic rover which has been designed to provide robust and flexible access to extreme extra-planetary terrains. Axel is a lightweight 2wheeled vehi...
Pablo Abad-Manterola, Joel W. Burdick, Issa A. D. ...
ICRA
2010
IEEE
202views Robotics» more  ICRA 2010»
15 years 3 months ago
A robust state estimation method against GNSS outage for unmanned miniature helicopters
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
Tak-Kit Lau, Yun-hui Liu, Kai-wun Lin
« Prev « First page 2341 / 2439 Last » Next »