Sciweavers

3381 search results - page 137 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 11 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
KI
2010
Springer
15 years 4 months ago
Situation-Specific Intention Recognition for Human-Robot Cooperation
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...
Peter Krauthausen, Uwe D. Hanebeck
ANSS
2000
IEEE
15 years 11 months ago
Multi-Resolution Modeling of Power Converter Using Waveform Reconstruction
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
Yuwei Luo, Roger Dougal, Enrico Santi
CMSB
2007
Springer
16 years 19 days ago
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
David Gilbert, Monika Heiner, Sebastian Lehrack
BMVC
2001
15 years 8 months ago
Learning Pixel-Wise Signal Energy for Understanding Semantics
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
Jeffrey Ng, Shaogang Gong