4502 search results - page 492 / 901 » Regular Model Checking |
167
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
We address the task of rendering by ray tracing the isosurface of a high-quality continuous spline model of volumetric discrete and regular data. By expressing the spline model as...
176
click to vote
ICDM
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose an algorithm to construct classification models with a mixture of kernels from labeled and unlabeled data. The derived classifier is a mixture of models, each based o...
176
click to vote
NIPS
2008
15 years 8 months ago
2008
Neuroimaging datasets often have a very large number of voxels and a very small number of training cases, which means that overfitting of models for this data can become a very se...
191
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: The performance of a walkthrough over terrain models is deeply influenced by the real scenario high level of details. To guarantee natural and smooth changes in a sequence of sce...
208
click to vote
ALIFE
2006
15 years 7 months ago
2006
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...