4872 search results - page 336 / 975 » CBR for Modeling Complex Systems |
170
click to vote
SPIN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
189
click to vote
DAC
2006
ACM
16 years 20 days ago
2006
ACM
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...
161
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
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 ...
212
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
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...
199
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...