5200 search results - page 352 / 1040 » Symbolic models for control systems |
188
click to vote
HCI
2007
15 years 8 months ago
2007
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
205
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
174
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
191
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— A novel design of a mobile parallel manipulator (MPM), which is composed by a multi-degree of freedom (DOF) parallel robot and an autonomous wheeled mobile platform, is propose...
187
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...