Sciweavers

2306 search results - page 276 / 462
» Modeling issues in a shipping system
Sort
View
DAGSTUHL
2003
13 years 11 months ago
Deciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
Anca Muscholl, Doron Peled
AAAI
1996
13 years 11 months ago
Building Steady-State Simulators via Hierarchical Feedback Decomposition
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
Nicolas F. Rouquette
ALIFE
2004
13 years 9 months ago
Autopoiesis and Cognition in the Game of Life
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
Randall D. Beer
ICASSP
2011
IEEE
13 years 1 months ago
Joint reduce of metal and beam hardening artifacts using Multi-Energy map approach in X-ray Computed Tomography
Metal and beam-hardening artifacts are tough issues in Computed Tomography (CT) images. This paper proposes an iterative Maximum A Posteriori (MAP) reconstruction algorithm aiming...
Yuling Zheng, Caifang Cai, Thomas Rodet
PAMI
2008
183views more  PAMI 2008»
13 years 9 months ago
Shape-and-Behavior Encoded Tracking of Bee Dances
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
Ashok Veeraraghavan, Rama Chellappa, Mandyam Srini...