4451 search results - page 355 / 891 » Continuous model synthesis |
162
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A framework for the regularized estimation of nonuniform dimensionality and density in high dimensional data is introduced in this work. This leads to learning stratifications, th...
161
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
187
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
159
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
240
click to vote
ECRTS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...