Sciweavers

41938 search results - page 425 / 8388
» Complex Systems Modeling
Sort
View
ICIP
2004
IEEE
16 years 8 months ago
A hidden markov model framework for traffic event detection using video features
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
Xiaokun Li, Fatih Murat Porikli
SPIN
2007
Springer
16 years 27 days ago
Towards Model Checking Spatial Properties with SPIN
Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...
Alberto Lluch-Lafuente
DAC
2006
ACM
16 years 23 days ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
KI
1999
Springer
15 years 11 months ago
Agents in Traffic Modelling - From Reactive to Social Behaviour
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
Ana L. C. Bazzan, Joachim Wahle, Franziska Klü...
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Comparing mathematical models on the problem of network inference
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
Christian Spieth, Nadine Hassis, Felix Streichert