Sciweavers

5215 search results - page 256 / 1043
» A model of normative power
Sort
View
WSC
2001
15 years 8 months ago
EZStrobe: general-purpose simulation system based on activity cycle diagrams
This paper introduces EZStrobe, a very simple but powerful general-purpose simulation system. Although designed for modeling construction operations, EZStrobe is domain independen...
Julio C. Martínez
FCT
2007
Springer
16 years 1 months ago
On Notions of Regularity for Data Languages
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
Henrik Björklund, Thomas Schwentick
AFRIGRAPH
2006
ACM
16 years 1 months ago
Free-form modelling for surface inpainting
In this paper, we describe a novel approach to 3D shape modelling, targeting at the reconstruction and repair of digitised models – a task that is frequently encountered in part...
Gerhard H. Bendels, Michael Guthe, Reinhard Klein
IEE
2008
115views more  IEE 2008»
15 years 7 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
PAMI
2007
156views more  PAMI 2007»
15 years 6 months ago
Selection and Fusion of Color Models for Image Feature Detection
—The choice of a color model is of great importance for many computer vision algorithms (e.g., feature detection, object recognition, and tracking) as the chosen color model indu...
Harro M. G. Stokman, Theo Gevers