Sciweavers

1839 search results - page 140 / 368
» Models of Coordination
Sort
View
CAD
2005
Springer
15 years 19 days ago
Freeform surface flattening based on fitting a woven mesh model
This paper presents a robust and efficient surface flattening approach based on fitting a woven-like mesh model on a 3D freeform surface. The fitting algorithm is based on tendon ...
Charlie C. L. Wang, Kai Tang, Benjamin M. L. Yeung
179
Voted
LICS
2003
IEEE
15 years 6 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
ICML
2010
IEEE
15 years 1 months ago
High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models
We develop a semi-supervised learning method that constrains the posterior distribution of latent variables under a generative model to satisfy a rich set of feature expectation c...
Gregory Druck, Andrew McCallum
HCI
2007
15 years 2 months ago
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
Andreas Pleuß, Heinrich Hußmann
113
Voted
HT
1998
ACM
15 years 5 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...