5550 search results - page 798 / 1110 » Different Approaches to Proof Systems |
196
click to vote
COSIT
2003
Springer
16 years 2 days ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
175
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
216
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
227
Voted
WISE
2000
Springer
15 years 11 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
213
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...