3161 search results - page 526 / 633 » Hybrid results merging |
173
click to vote
ROBOCOMM
2007
IEEE
16 years 17 days ago
2007
IEEE
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
199
click to vote
ACIVS
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a monocular vision framework enabling feature-oriented appearance-based navigation in large outdoor environments containing other moving objects. The framework ...
167
click to vote
AIED
2007
Springer
16 years 16 days ago
2007
Springer
This paper demonstrates how stereotypic student groups can be created to enhance cognitive models in computer tutors. Computer tutors use cognitive models to track what skills stud...
194
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
148
click to vote
CHES
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...