Sciweavers

167 search results - page 6 / 34
» Faithful mapping of model classes to mathematical structures
Sort
View
JLP
2010
125views more  JLP 2010»
14 years 8 months ago
Algebraic simulations
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
José Meseguer, Miguel Palomino, Narciso Mar...
ADBIS
2003
Springer
194views Database» more  ADBIS 2003»
15 years 2 months ago
Rule-Based Generation of XML DTDs from UML Class Diagrams
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
Thomas Kudrass, Tobias Krumbein
CVPR
2011
IEEE
14 years 4 months ago
Learning structured prediction models for interactive image labeling
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...
Thomas Mensink, Jakob Verbeek, Gabriela Csurka
SMI
2005
IEEE
15 years 3 months ago
Stochastic Microgeometry for Displacement Mapping
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...
Craig A. Schroeder, David E. Breen, Christopher D....
AAAI
2010
14 years 11 months ago
Unsupervised Learning of Event Classes from Video
We present a method for unsupervised learning of event classes from videos in which multiple actions might occur simultaneously. It is assumed that all such activities are produce...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...