8911 search results - page 308 / 1783 » Intelligent Systems for Tourism |
166
click to vote
IEAAIE
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose to apply an NA-tree in the Chord system to encode spatial region data in the data key part used in the hash function to data search. That is, we combine t...
140
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
173
click to vote
AIME
2005
Springer
15 years 10 months ago
2005
Springer
We have developed an algorithm for triaging acute pediatric abdominal pain in the Emergency Department using the discovery-driven approach. This algorithm is embedded into the MET-...
143
click to vote
TABLEAUX
2005
Springer
15 years 10 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...
158
click to vote
WIRN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper a fully automatic face verification system is presented. A face is characterized by a vector (jet) of coefficients determined applying a bank of Gabor fil...