11066 search results - page 209 / 2214 » Linearity in Process Languages |
138
click to vote
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
128
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...
110
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
130
click to vote
COLING
2008
15 years 5 months ago
2008
This paper addresses the fundamental problem of document classification, and we focus attention on classification problems where the classes are mutually exclusive. In the course ...
126
click to vote
NAACL
2007
15 years 5 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...