Sciweavers

5599 search results - page 272 / 1120
» Abstract State Services
Sort
View
IROS
2006
IEEE
108views Robotics» more  IROS 2006»
16 years 18 days ago
Improving the Consistency of Relative Map
Abstract— In this paper, the Independence Relative Map algorithm is presented. The algorithm aims to achieve the independence of relative map states. We show that using dependent...
Viet Nguyen, Agostino Martinelli, Roland Siegwart
ECSQARU
2001
Springer
15 years 11 months ago
General Preferential Entailments as Circumscriptions
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
Yves Moinard
WDAG
2001
Springer
104views Algorithms» more  WDAG 2001»
15 years 11 months ago
A New Synchronous Lower Bound for Set Agreement
Abstract. We have a new proof of the lower bound that k-set agreement requires f/k + 1 rounds in a synchronous, message-passing model with f crash failures. The proof involves cons...
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
ASPDAC
2000
ACM
83views Hardware» more  ASPDAC 2000»
15 years 11 months ago
A new approach to assembly software retargeting for microcontrollers
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
Ing-Jer Huang, Dao-Zhen Chen
ACII
2007
Springer
15 years 10 months ago
Towards Affective-Psychophysiological Foundations for Music Production
Abstract. This paper describes affective and psychophysiological foundations used to help to control affective content in music production. Our work includes the proposal of a know...
António Pedro Oliveira, Amílcar Card...