Sciweavers

3498 search results - page 548 / 700
» Role Model Based Framework Design and Integration
Sort
View
CVPR
2010
IEEE
15 years 5 months ago
Anomaly detection in crowded scenes
A novel framework for anomaly detection in crowded scenes is presented. Three properties are identified as important for the design of a localized video representation suitable f...
Vijay Mahadevan, Weixin Li, Viral Bhalodia, Nuno V...
167
Voted
JSA
2008
131views more  JSA 2008»
15 years 4 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
SIMPAR
2010
127views Robotics» more  SIMPAR 2010»
15 years 3 months ago
On the Stability of Bipedal Walking
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
Pieter van Zutven, Dragan Kostic, Henk Nijmeijer
SIGMETRICS
2002
ACM
105views Hardware» more  SIGMETRICS 2002»
15 years 4 months ago
Modeling and analysis of dynamic coscheduling in parallel and distributed environments
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
Mark S. Squillante, Yanyong Zhang, Anand Sivasubra...
CSMR
2006
IEEE
15 years 11 months ago
A Refactoring-based Tool for Software Component Adaptation
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
Gautier Bastide