1781 search results - page 199 / 357 » Functional Answer Set Programming |
147
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
Bayesian networks (BNs) are used to represent and ef ciently compute with multi-variate probability distributions in a wide range of disciplines. One of the main approaches to per...
116
Voted
STOC
1999
ACM
15 years 6 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
CIIA
2009
15 years 2 months ago
2009
In this paper, we present a new synthesis feature namely, "Xor matching", and the foldback product term synthesis for Complex Programmable Logic Devices (CPLD) architectu...
144
click to vote
SEMWEB
2011
Springer
14 years 4 months ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
129
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...