632 search results - page 33 / 127 » An Analysis of Search Engine Use for Travel Planning |
KBSE
1998
IEEE
14 years 27 days ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
AIPS
2007
13 years 11 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
This paper discusses ontology mapping between two taxonomies of functions of artifacts for the engineering knowledge management. The mapping is of two ways and has been manually es...
HT
2009
ACM
13 years 6 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
CIVR
2006
Springer
14 years 11 days ago
2006
Springer
We introduce NPIC, an image classification system that focuses on synthetic (e.g., non-photographic) images. We use class-specific keywords in an image search engine to create a no...