2863 search results - page 192 / 573 » Computer modelling and natural phenomena |
173
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
169
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
154
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
Traditional mesh-based approaches to the modeling and analysis of physical fields within geometric models require some form of topological reconstruction and conversion in the mes...
142
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
We address the problem of segmenting a sequence of images of natural scenes into disjoint regions that are characterized by constant spatio-temporal statistics. We model the spati...
352
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Markov random field (MRF, CRF) models are popular in
computer vision. However, in order to be computationally
tractable they are limited to incorporate only local interactions
a...