191 search results - page 30 / 39 » Mappings Between Domain Models in Answer Set Programming |
EPIA
1999
Springer
15 years 1 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...
110
click to vote
OSDI
2008
ACM
14 years 12 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...
SIGIR
2003
ACM
15 years 2 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...
CORR
2007
Springer
14 years 9 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...
73
Voted
ICTCS
2007
Springer
15 years 3 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,...