3207 search results - page 352 / 642 » A Semantics for HTN Methods |
145
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
In content-based image retrieval (CBIR), the images in a database are indexed on the basis of low-level statistical features that can be automatically derived from the images. Due ...
153
click to vote
MDM
2004
Springer
15 years 10 months ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
142
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
153
Voted
PKDD
2001
Springer
15 years 9 months ago
2001
Springer
In some domains, Information Extraction (IE) from texts requires syntactic and semantic parsing. This analysis is computationally expensive and IE is potentially noisy if it applie...
163
Voted
TYPES
1998
Springer
15 years 9 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...