1021 search results - page 74 / 205 » Concepts in Proof Planning |
FLAIRS
2007
13 years 11 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
ECIR
2008
Springer
13 years 10 months ago
2008
Springer
This paper introduces the concept of accessibility from the field of transportation planning and adopts it within the context of Information Retrieval (IR). An analogy is drawn bet...
DEBU
2010
13 years 8 months ago
2010
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
JUCS
2008
13 years 8 months ago
2008
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...
CGF
2005
13 years 8 months ago
2005
Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It focuses on the virtual representation of minimally invasive procedures for training, ...