3113 search results - page 211 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
124
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
The proliferation of text documents on the web as well as within institutions necessitates their convenient organization to enable efficient retrieval of information. Although tex...
142
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
139
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
— The amount of semantic data on the Web has increased exponentially in the last years. One of the main reasons for this is the use of RDB2RDF systems, which generate RDF data fr...
106
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Secure set-intersection computation is one of important problems in secure multiparty computation with various applications. We propose a general construction for secure 2-party se...
150
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...