Sciweavers

603 search results - page 28 / 121
» Referent Systems and Relational Grammar
Sort
View
AGILE
2008
Springer
142views GIS» more  AGILE 2008»
14 years 4 months ago
GeoSR: Geographically Explore Semantic Relations in World Knowledge
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
Brent Hecht, Martin Raubal
ARES
1998
Springer
14 years 2 months ago
The Relation Between the Product Line Development Entry Points and Reengineering
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...
Jean-Marc DeBaud, Jean-Francois Girard
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
13 years 8 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ENTCS
2008
105views more  ENTCS 2008»
13 years 10 months ago
Development of a Modelica Compiler Using JastAdd
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
Johan Åkesson, Torbjörn Ekman, Gör...
POPL
2012
ACM
12 years 5 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...