2203 search results - page 94 / 441 » Temporal Abstract Interpretation |
116
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
112
Voted
BC
2007
15 years 3 months ago
2007
Abstract Thesparsenessoftheencodingofstimulibysingle neurons and by populations of neurons is fundamental to understanding the efficiency and capacity of representations in the br...
147
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
118
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
159
click to vote
CSCLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Time granularity constraint reasoning is likely to have a relevant role in emerging applications like GIS, time management in the Web and Personal Information Management ...