15375 search results - page 51 / 3075 » cans 2008 |
SERVICES
2008
13 years 9 months ago
2008
We introduce Trident, a scientific workflow workbench that is built on top of a commercial workflow system to leverage existing functionality. Trident is being developed in collab...
JACM
2007
13 years 7 months ago
2007
We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where e...
TOPLAS
1998
13 years 7 months ago
1998
A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have...
KI
2008
Springer
13 years 7 months ago
2008
Springer
es of human direction giving. The process generates an abstract, relational specification of route directions, which can, for example, be externalized verbally.
AIML
2008
13 years 9 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...