Sciweavers

870 search results - page 73 / 174
» The MT model transformation language
Sort
View
ENTCS
2002
125views more  ENTCS 2002»
15 years 6 months 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...
CASES
2006
ACM
16 years 5 days 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 11 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 6 months 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
JMLR
2012
13 years 8 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