9405 search results - page 981 / 1881 » Computing a Model of Set Theory |
204
click to vote
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...
192
click to vote
NAACL
2010
15 years 5 months ago
2010
Extraction of entities from ad creatives is an important problem that can benefit many computational advertising tasks. Supervised and semi-supervised solutions rely on labeled da...
201
click to vote
STACS
2009
Springer
16 years 2 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
177
click to vote
AIS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
190
click to vote
ACRI
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...