4985 search results - page 132 / 997 » Observation of String-Rewriting Systems |
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
We developed AirTransNote, an interactive learning system augmented by digital pens and PDAs for each student. All notes written on regular paper sheets are immediately digitized ...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, a CAPTCHA is presented based on the masking characteristics of the Human Visual System (HVS). Knowing that noise can be masked by high activity regions and showing ...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...