6431 search results - page 719 / 1287 » Model Building by Resolution |
179
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
181
click to vote
COLING
2002
15 years 7 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
193
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
205
click to vote
JBCS
2002
15 years 6 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
141
click to vote
AMI
2010
Springer
15 years 5 months ago
2010
Springer
Knowing where vacant taxis are and will be at a given time and location helps the users in daily planning and scheduling, as well as the taxi service providers in dispatching. In t...