4211 search results - page 548 / 843 » Types as Abstract Interpretations |
190
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents coverage algorithms for mobile sensor networks in which agents have limited power to move. Rather than making use of a constrained optimization tech...
143
Voted
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
169
Voted
ICSM
2008
IEEE
16 years 29 days ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
169
Voted
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
149
click to vote
ISCAS
2008
IEEE
16 years 29 days ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...