Sciweavers

2432 search results - page 46 / 487
» High-level approach to modeling of observed system behavior
Sort
View
VLDB
2007
ACM
122views Database» more  VLDB 2007»
16 years 21 hour ago
MIST: Distributed Indexing and Querying in Sensor Networks using Statistical Models
The modeling of high level semantic events from low level sensor signals is important in order to understand distributed phenomena. For such content-modeling purposes, transformat...
Arnab Bhattacharya, Anand Meka, Ambuj K. Singh
JUCS
2010
162views more  JUCS 2010»
14 years 6 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
IROS
2007
IEEE
113views Robotics» more  IROS 2007»
15 years 6 months ago
Valet parking without a valet
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
David C. Conner, Hadas Kress-Gazit, Howie Choset, ...
ICRA
1994
IEEE
94views Robotics» more  ICRA 1994»
15 years 3 months ago
A Reinforcement-Learning Approach to Reactive Control Policy Design for Autonomous Robots
Within the field of robotics, much recent attention has been given to control techniques that have been termed reactive or behavior-based. The design of such control systems for e...
Andrew H. Fagg, David Lotspeich, George A. Bekey
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 3 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li