882 search results - page 119 / 177 » Allowing State Changes in Specifications |
152
click to vote
VL
2008
IEEE
16 years 8 days ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
162
click to vote
IPPS
2007
IEEE
16 years 6 days ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
145
click to vote
ISMVL
2007
IEEE
16 years 5 days ago
2007
IEEE
In this paper the emotional model of the humanoid Cynthea (Cybernetic Networked Humanoid Emotional Agent) robot is presented. The robot is explained at two levels: the cognitive l...
155
click to vote
ECAL
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We present a model of a recurrent neural network with homeostasic units, embodied in a minimalist articulated agent with a single link and joint. The configuration of th...
164
click to vote
ICRA
2006
IEEE
15 years 12 months ago
2006
IEEE
— In this paper we consider a single hand-held camera performing SLAM at video rate with generic 6DOF motion. The aim is to optimise both the localisation of the sensor and build...