3218 search results - page 271 / 644 » Timed Extensions for SDL |
149
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper presents a metric-based matching algorithm to estimate the robot planar displacement by matching dense two-dimensional range scans. The contribution is a geometric d...
135
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
—Compression efficiency and bitrate scalability are among the key factors in video coding. The paper introduces novel sub-sequence coding techniques for temporal scalability. The...
167
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
190
click to vote
SEFM
2005
IEEE
16 years 5 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
178
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...