4502 search results - page 457 / 901 » Regular Model Checking |
191
click to vote
WSC
1998
15 years 9 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
175
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Learning a generative model of natural images is a useful way of extracting features that capture interesting regularities. Previous work on learning such models has focused on me...
179
click to vote
CSDA
2006
15 years 7 months ago
2006
An approach to simultaneous document classification and word clustering is developed using a two-way mixture model of Poisson distributions. Each document is represented by a vect...
177
click to vote
MLQ
2008
15 years 7 months ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
218
click to vote
IJRR
2002
15 years 7 months ago
2002
We present method and implementation to acquire deformable models of elastic objects. The method is based on the Green's functions matrix representation of an elastic solid. ...