Sciweavers

5818 search results - page 296 / 1164
» A reasonable Semantic Web
Sort
View
AIPS
1994
15 years 8 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 5 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
ICMCS
2006
IEEE
174views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Web Image Mining Based on Modeling Concept-Sensitive Salient Regions
In this paper, we propose a probabilistic model for web image mining, which is based on concept-sensitive salient regions without human intervene. Our goal is to achieve a middle-...
Jing Liu, Qingshan Liu, Jinqiao Wang, Hanqing Lu, ...
CIVR
2004
Springer
154views Image Analysis» more  CIVR 2004»
16 years 21 days ago
Content-Based Image Retrieval and Characterization on Specific Web Collections
One of the challenges in image and video retrieval is the content-based retrieval of images and videos in the web. Less work has been done in this area, mainly due to scalability i...
Ricardo A. Baeza-Yates, Javier Ruiz-del-Solar, Rod...
SEMWEB
2009
Springer
16 years 1 months ago
Scalable Distributed Reasoning Using MapReduce
We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach o...
Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank v...