Sciweavers

4037 search results - page 378 / 808
» Routing without ordering
Sort
View
125
Voted
DDECS
2009
IEEE
106views Hardware» more  DDECS 2009»
15 years 10 months ago
Forward and backward guarding in early output logic
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...
Charlie Brej, Doug Edwards
103
Voted
ICRA
2009
IEEE
129views Robotics» more  ICRA 2009»
15 years 10 months ago
Novel parameter estimation schemes in microsystems
— This paper presents two novel estimation methods that are designed to enhance our ability of observing, positioning, and physically transforming the objects and/or biological s...
Hakan Bilen, Muhammet A. Hocaoglu, Eray A. Baran, ...
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
15 years 10 months ago
Decentralized localization for dynamic and sparse robot networks
Abstract— Finite-range sensing and communication are factors in the connectivity of a dynamic mobile robot network. State estimation becomes a difficult problem when communicati...
Keith Yu Kit Leung, Timothy D. Barfoot, Hugh H. T....
ALDT
2009
Springer
162views Algorithms» more  ALDT 2009»
15 years 10 months ago
Compact Preference Representation in Stable Marriage Problems
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
Enrico Pilotto, Francesca Rossi, Kristen Brent Ven...
CSL
2009
Springer
15 years 10 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel