Sciweavers

12399 search results - page 447 / 2480
» Deformable structural models
Sort
View
ICML
2006
IEEE
16 years 7 months ago
Discriminative unsupervised learning of structured predictors
We present a new unsupervised algorithm for training structured predictors that is discriminative, convex, and avoids the use of EM. The idea is to formulate an unsupervised versi...
Linli Xu, Dana F. Wilkinson, Finnegan Southey, Dal...
FM
2009
Springer
106views Formal Methods» more  FM 2009»
16 years 1 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
16 years 1 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
SMI
2005
IEEE
111views Image Analysis» more  SMI 2005»
16 years 12 days ago
The Half-Edge Tree: A Compact Data Structure for Level-of-Detail Tetrahedral Meshes
We propose a new data structure for the compact encoding of a Level-Of-Detail (LOD) model of a threedimensional scalar field based on unstructured tetrahedral meshes. Such data s...
Emanuele Danovaro, Leila De Floriani, Paola Magill...
DEXAW
1998
IEEE
94views Database» more  DEXAW 1998»
15 years 11 months ago
Towards Access Control for Logical Document Structures
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
Fredj Dridi, Gustaf Neumann