Sciweavers

1364 search results - page 125 / 273
» Comparative Branching-Time Semantics
Sort
View
AAAI
2000
15 years 7 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
WWW
2008
ACM
16 years 7 months ago
Automatic web image selection with a probabilistic latent topic model
We propose a new method to select relevant images to the given keywords from images gathered from the Web based on the Probabilistic Latent Semantic Analysis (PLSA) model which is...
Keiji Yanai
SEMWEB
2009
Springer
16 years 24 days ago
DSSim Results for OAEI 2009
The growing importance of ontology mapping on the Semantic Web has highlighted the need to manage the uncertain nature of interpreting semantic meta data represented by heterogeneo...
Miklos Nagy, Maria Vargas-Vera, Piotr Stolarski
SEMCO
2008
IEEE
16 years 19 days ago
Mediatability: Estimating the Degree of Human Involvement in XML Schema Mediation
Mediation and integration of data are significant challenges because the number of services on the Web, and heterogeneities in their data representation, continue to increase rap...
Karthik Gomadam, Ajith Ranabahu, Lakshmish Ramaswa...
AI
2007
Springer
16 years 14 days ago
Question Answering Summarization of Multiple Biomedical Documents
Abstract. In this paper we introduce a system that automatically summarizes multiple biomedical documents relevant to a question. The system extracts biomedical and general concept...
Zhongmin Shi, Gabor Melli, Yang Wang, Yudong Liu, ...