Sciweavers

4433 search results - page 584 / 887
» Distributed Multi-Robot Localization
Sort
View
131
Voted
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 3 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
DEDS
2006
119views more  DEDS 2006»
15 years 3 months ago
Diagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
Olivier Contant, Stéphane Lafortune, Demost...
IJCINI
2008
107views more  IJCINI 2008»
15 years 3 months ago
Artificial Neural Networks that Classify Musical Chords
An artificial neural network was trained to classify musical chords into four categories--major, dominant seventh, minor, or diminished seventh--independent of musical key. After ...
Vanessa Yaremchuk, Michael R. W. Dawson
113
Voted
IJFCS
2006
82views more  IJFCS 2006»
15 years 3 months ago
Routing Multiple Width Communications on the Circuit Switched Tree
Dynamically reconfigurable architectures offer extremely fast solutions to various problems. The Circuit Switched Tree (CST) is an important interconnect used to implement such ar...
Krishnendu Roy, Ramachandran Vaidyanathan, Jerry L...
MONET
2006
170views more  MONET 2006»
15 years 3 months ago
Decentralized Utility-based Sensor Network Design
Wireless sensor networks consist of energy-constrained sensor nodes operating unattended in highly dynamic environments. In this paper, we advocate a systematic decentralized appro...
Narayanan Sadagopan, Mitali Singh, Bhaskar Krishna...