1319 search results - page 125 / 264 » Recursive Random Fields |
106
Voted
CGI
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper describes an incremental polygonization technique for implicit surfaces built from skeletal elements. Our method lends itself for an interactive modeling system as the ...
104
Voted
VLDB
1989
ACM
15 years 5 months ago
1989
ACM
Graphical Direct Manipulation (GrDM) query languagesare characterized and positioned with respect to traditional textual query languages. After a brief survey of the current state...
84
Voted
ACMIDC
2009
15 years 5 months ago
2009
The subject of children's programming has long been a vexed and controversial one in the field of educational technology. Debates in this area have typically focused on issue...
131
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
112
Voted
AIML
2006
15 years 2 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...