947 search results - page 175 / 190 » Using Natural Language Generation for Navigational Assistanc... |
CADE
2008
Springer
15 years 9 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
102
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
Information Retrieval (IR) is a major component in many of our daily activities, with perhaps its most prominent role manifested in search engines. Today’s most advanced engines...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
AAAI
1996
14 years 10 months ago
1996
The SIGNAL insurance companies have developed an expert system for the support of its customer sales service. It was introduced at the end of 1993 and is currently used by approxi...