2116 search results - page 195 / 424 » On Probabilistic Alternating Simulations |
113
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper presents a study which extends previous work on collective motion control of a group of vehicles for target tracking. The approach is to drive the group cent...
122
click to vote
DSRT
2006
IEEE
15 years 10 months ago
2006
IEEE
The pace of technological change requires applications to constantly evolve. Service Oriented Architecture (SOA) promises to render this evolution more flexible. We present a cas...
178
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...
131
click to vote
ESTIMEDIA
2004
Springer
15 years 9 months ago
2004
Springer
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...
114
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...