Sciweavers

1180 search results - page 86 / 236
» Alternating Simulation and IOCO
Sort
View
GLOBECOM
2006
IEEE
16 years 7 days ago
Sensor Localization from WLS Optimization with Closed-form Gradient and Hessian
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...
Giuseppe Destino, Giuseppe Thadeu Freitas de Abreu
ESTIMEDIA
2004
Springer
15 years 11 months ago
A queuing-theoretic performance model for context-flow system-on-chip platforms
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
Rami Beidas, Jianwen Zhu
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
15 years 11 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 11 months ago
Template based control of hexapedal running
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
Uluc Saranli, Daniel E. Koditschek
ASP
2003
Springer
15 years 11 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir