Sciweavers

1143 search results - page 108 / 229
» Mental models of recursion
Sort
View
FASE
2001
Springer
14 years 1 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
CGI
1998
IEEE
14 years 1 months ago
Incremental Techniques for Implicit Surface Modeling
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 ...
Eric Galin, Samir Akkouche
CSL
2006
Springer
14 years 26 days ago
Universality Results for Models in Locally Boolean Domains
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
Tobias Löw, Thomas Streicher
VMV
2008
197views Visualization» more  VMV 2008»
13 years 10 months ago
1-2-tree: Semantic Modeling and Editing of Trees
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
Björn Ganster, Reinhard Klein
CVPR
2005
IEEE
14 years 11 months ago
A Dynamic Conditional Random Field Model for Object Segmentation in Image Sequences
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
Qiang Ji, Yang Wang 0002