2944 search results - page 39 / 589 » On Well Quasi-orders on Languages |
ATAL
2006
Springer
14 years 12 days 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
14 years 26 days 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
14 years 24 days ago
1997
ACM
Wedescribethedesign,implementationanduser evaluationof QUIVER,agraph-basedvisualquery languageforobjectdatabases.Thedesigngoalsof QUIVERincludecomplianceto standards,comprehensive...
ECAI
1992
Springer
14 years 22 days 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
13 years 10 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...