Sciweavers

5200 search results - page 773 / 1040
» Symbolic models for control systems
Sort
View
MODELS
2010
Springer
15 years 5 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
ICASSP
2011
IEEE
14 years 11 months ago
Saturation-robust SAR image formation
The formation of synthetic aperture radar (SAR) images is formulated as an inverse problem, a flexible approach suitable for a variety of acquisition systems and signal models. T...
Dennis Wei, Petros Boufounos
ICPR
2004
IEEE
16 years 8 months ago
Probabilistic People Tracking for Occlusion Handling
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...
Rita Cucchiara, Costantino Grana, Giovanni Tardini...
HICSS
2005
IEEE
140views Biometrics» more  HICSS 2005»
16 years 27 days ago
On Contamination in Information Ecosystems
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...
Bengt Carlsson, Andreas Jacobsson
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 11 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee