Sciweavers

1329 search results - page 144 / 266
» Semantics of Architectural Connectors
Sort
View
ESOP
1992
Springer
14 years 2 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
NAACL
2007
13 years 11 months ago
A Cascaded Machine Learning Approach to Interpreting Temporal Expressions
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...
David Ahn, Joris van Rantwijk, Maarten de Rijke
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
14 years 4 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
NLDB
2007
Springer
14 years 4 months ago
Generating Ontologies Via Language Components and Ontology Reuse
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Ontologies already created in recent Sem...
Yihong Ding, Deryle W. Lonsdale, David W. Embley, ...
IV
2002
IEEE
105views Visualization» more  IV 2002»
14 years 3 months ago
IVPrototype - An Information Visualization Prototype
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...
Maria Beatriz Carmo, João Duarte Cunha, Ana...