Sciweavers

2212 search results - page 313 / 443
» Weighted control scheduling
Sort
View
LATA
2010
Springer
14 years 5 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza
BIRTHDAY
2009
Springer
14 years 5 months ago
Polynomial Precise Interval Analysis Revisited
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
Thomas Gawlitza, Jérôme Leroux, Jan R...
IROS
2009
IEEE
169views Robotics» more  IROS 2009»
14 years 4 months ago
A miniature jumping robot with self-recovery capabilities
— In nature, many animals are able to jump, upright themselves after landing and jump again. This allows them to move in unstructured and rough terrain. As a further development ...
Mirko Kovac, Manuel Schlegel, Jean-Christophe Zuff...
ICASSP
2008
IEEE
14 years 4 months ago
System combination using auxiliary information for speaker verification
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
Luciana Ferrer, Martin Graciarena, Argyrios Zymnis...
ISMAR
2008
IEEE
14 years 4 months ago
Vesp'R: design and evaluation of a handheld AR device
This paper focuses on the design of devices for handheld spatial interaction. In particular, it addresses the requirements and construction of a new platform for interactive AR, d...
Eduardo E. Veas, Ernst Kruijff