1578 search results - page 316 / 316 » Direct Routing: Algorithms and Complexity |
IANDC
2011
13 years 3 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
LACL
2011
Springer
12 years 8 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
NAACL
2003
13 years 6 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...