Sciweavers

3719 search results - page 40 / 744
» RACER System Description
Sort
View
ROBOCUP
2001
Springer
88views Robotics» more  ROBOCUP 2001»
15 years 4 months ago
Rogi Team Description
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.
Josep Lluís de la Rosa, Bianca Innocenti, M...
SEC
2001
15 years 1 months ago
Extended Description Techniques for Security Engineering
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
Guido Wimmel, Alexander K. Wißpeintner
AAAI
2004
15 years 1 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
DSVIS
2001
Springer
15 years 4 months ago
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
Kris Luyten, Karin Coninx
CODES
2001
IEEE
15 years 3 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu