4513 search results - page 162 / 903 » Modeling with a Sense of Purpose |
189
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
149
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a framework for introducing visually smooth surfaces into sketch-based freeform modeling systems. An existing sketch-based freeform modeling system generates ...
162
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
175
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Recently we have proposed Gaussian mixtures as a local statistical model to synthesize artificial textures. We describe the statistical dependence of pixels of a movable ...
233
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
There are many key problems of decision making related to spectrum occupancies in cognitive radio networks. It is known that there exist correlations of spectrum occupancies in tim...