1867 search results - page 226 / 374 » Model-Checking Based Data Retrieval |
143
click to vote
EGOV
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we present some results of an ongoing research involving the design and implementation, in an eGovernment scenario, of a multi-version repository of norm texts suppo...
164
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
165
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
Providing justification to a recommendation gives credibility to a recommender system. Some recommender systems (Amazon.com etc.) try to explain their recommendations, in an eff...
186
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
184
click to vote
DCAI
2008
15 years 8 months ago
2008
. In this paper, a forecasting system is presented. It predicts the presence of oil slicks in a certain area of the open sea after an oil spill using Case-Based Reasoning methodolo...