4502 search results - page 224 / 901 » Regular Model Checking |
153
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
195
click to vote
COGSCI
2002
15 years 6 months ago
2002
We address how listeners perceive temporal regularity in music performances, which are rich in temporal irregularities. A computational model is described in which a small system ...
151
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...
146
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this work we investigate the relationship between Bregman distances and regularized Logistic Regression model. We present a detailed study of Bregman Distance minimization, a f...
166
click to vote
VISUALIZATION
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a multiresolution framework, called Multi-Tetra framework, that approximates volume data with different levelsof-detail tetrahedra. The framework is generated through a...