Sciweavers

870 search results - page 73 / 174
» The MT model transformation language
Sort
View
ENTCS
2002
125views more  ENTCS 2002»
15 years 16 days ago
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
José Emilio Labra Gayo, Juan Manuel Cueva L...
96
Voted
CASES
2006
ACM
15 years 6 months ago
Memory optimization by counting points in integer transformations of parametric polytopes
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
Rachid Seghir, Vincent Loechner
ADBIS
2004
Springer
122views Database» more  ADBIS 2004»
15 years 6 months ago
Implementing a Query Language for Context-Dependent Semistructured Data
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
Yannis Stavrakas, Kostis Pristouris, Antonis Efand...
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
15 years 28 days ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
162
Voted
JMLR
2012
13 years 3 months ago
Learning Low-order Models for Enforcing High-order Statistics
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
Patrick Pletscher, Pushmeet Kohli