Sciweavers

1385 search results - page 122 / 277
» Natural Rewriting for General Term Rewriting Systems
Sort
View
ECEASST
2006
103views more  ECEASST 2006»
15 years 6 months ago
Petri Nets and Matrix Graph Grammars: Reachability
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
Juan de Lara, Pedro Pablo Pérez Velasco
FOAL
2009
ACM
16 years 1 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
SIGIR
2004
ACM
16 years 9 days ago
Context-based question-answering evaluation
In this poster, we will present the results of efforts we have undertaken to conduct evaluations of a QA system in a real world environment and to understand the nature of the dim...
Elizabeth D. Liddy, Anne Diekema, Ozgur Yilmazel
COSIT
2003
Springer
151views GIS» more  COSIT 2003»
16 years 3 days ago
Landscape Categories in Yindjibarndi: Ontology, Environment, and Language
This paper describes categories for landscape elements in the language of the Yindjibarndi people, a community of Indigenous Australians. Yindjibarndi terms for topographic featur...
David M. Mark, Andrew G. Turk
EMSOFT
2006
Springer
15 years 10 months ago
Mixing signals and modes in synchronous data-flow systems
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
Jean-Louis Colaço, Grégoire Hamon, M...