Sciweavers

4985 search results - page 210 / 997
» Observation of String-Rewriting Systems
Sort
View
ACII
2007
Springer
15 years 10 months ago
The Dynamics of Affective Transitions in Simulation Problem-Solving Environments
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...
Ryan Shaun Joazeiro de Baker, Ma. Mercedes T. Rodr...
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
15 years 10 months ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
HYBRID
2005
Springer
15 years 9 months ago
The Discrete Time Behavior of Lazy Linear Hybrid Automata
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
Manindra Agrawal, P. S. Thiagarajan
ICRA
2003
IEEE
142views Robotics» more  ICRA 2003»
15 years 9 months ago
Airborne simultaneous localisation and map building
— This paper presents results of the application of simultaneous localisation and map building (SLAM) for an uninhibited aerial vehicle (UAV). Single vision camera and inertial m...
Jong-Hyuk Kim, Salah Sukkarieh
AINA
2009
IEEE
15 years 9 months ago
Advantages of User Authentication Using Unclear Images
— A user authentication system using "unclear images" as pass-images has been proposed, in which only legitimate users can understand their meaning by viewing the origi...
Takumi Yamamoto, Atsushi Harada, Takeo Isarida, Ma...