191 search results - page 30 / 39 » Mappings Between Domain Models in Answer Set Programming |
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
150
click to vote
OSDI
2008
ACM
15 years 4 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
126
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...
118
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
105
click to vote
ICTCS
2007
Springer
15 years 8 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...