89 search results - page 15 / 18 » Abstraction Heuristics Extended with Counting Abstractions |
189
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
168
click to vote
HICSS
2010
IEEE
16 years 26 days ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...
166
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
156
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
180
click to vote
JCC
2011
15 years 28 days ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...