2944 search results - page 39 / 589 » On Well Quasi-orders on Languages |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
LCTRTS
1998
Springer
15 years 4 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
Wedescribethedesign,implementationanduser evaluationof QUIVER,agraph-basedvisualquery languageforobjectdatabases.Thedesigngoalsof QUIVERincludecomplianceto standards,comprehensive...
ECAI
1992
Springer
15 years 3 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
NAACL
2007
15 years 1 months ago
2007
We propose three new features for MT evaluation: source-sentence constrained n-gram precision, source-sentence reordering metrics, and discriminative unigram precision, as well as...