Sciweavers

1655 search results - page 213 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
AGTIVE
2007
Springer
16 years 17 days ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
ICMCS
2006
IEEE
250views Multimedia» more  ICMCS 2006»
16 years 12 days ago
Adaptive Video News Story Tracking based on Earth Mover'S Distance
This paper proposes an adaptive system for video news story tracking based on the Earth Mover’s Distance (EMD). When an interesting story appears in the news, it is flagged man...
Mats Uddenfeldt, Keiichiro Hoashi, Kazunori Matsum...
GLOBECOM
2010
IEEE
15 years 4 months ago
Space-Time Shift Keying: A Unified MIMO Architecture
In this paper, we propose a novel Space-Time Shift Keying (STSK) modulation scheme for MIMO communication systems, where the concept of spatial modulation is extended to include bo...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
SPAA
1998
ACM
15 years 10 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
16 years 1 months ago
Tracking groups of people with a multi-model hypothesis tracker
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard