Sciweavers

1940 search results - page 203 / 388
» Graph Transformation with Variables
Sort
View
116
Voted
IANDC
2010
84views more  IANDC 2010»
15 years 2 months ago
Modules over monads and initial semantics
Inspired by the classical theory of modules over a monoid, we introduce the natural notion of module over a monad. The associated notion of morphism of left modules (”linear” n...
André Hirschowitz, Marco Maggesi
129
Voted
NAACL
2010
15 years 1 months ago
Probabilistic Frame-Semantic Parsing
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...
Dipanjan Das, Nathan Schneider, Desai Chen, Noah A...
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
Multi-Scale Geometry Interpolation
Interpolating vertex positions among triangle meshes with identical vertex-edge graphs is a fundamental part of many geometric modelling systems. Linear vertex interpolation is ro...
Tim Winkler, J. Drieseberg, Marc Alexa, Kai Horman...
EDOC
2007
IEEE
15 years 10 months ago
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
Peter F. Linington, Pulitha Liyanagama
LOPSTR
2007
Springer
15 years 10 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...