Sciweavers

2432 search results - page 17 / 487
» High-level approach to modeling of observed system behavior
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 5 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
15 years 5 months ago
Flexible Coordination of Multiagent Team Behavior Using HTN Planning
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
Oliver Obst, Joschka Boedecker
ICPR
2008
IEEE
15 years 6 months ago
Intuitive event modeling for personalized behavior monitoring
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
Ahmed Azough, Alexandre Delteil, Fabien De Marchi,...
LOCA
2005
Springer
15 years 5 months ago
Issues and Requirements for Bayesian Approaches in Context Aware Systems
Research in advanced context-aware systems has clearly shown a need to capture the inherent uncertainty in the physical world, especially in human behavior. Modelling approaches th...
Michael Angermann, Patrick Robertson, Thomas Stran...
PTS
2007
81views Hardware» more  PTS 2007»
15 years 1 months ago
An EFSM-Based Passive Fault Detection Approach
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
Hasan Ural, Zhi Xu