673 search results - page 41 / 135 » Approximate coherence-based reasoning |
103
click to vote
CONCUR
2012
Springer
13 years 2 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
111
click to vote
SWAT
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
104
click to vote
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
Contextual reasoning through graphical models such as Markov Random Fields often show superior performance against local classifiers in many domains. Unfortunately, this performanc...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
105
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
We propose a novel mechanism for answering sets of counting queries under differential privacy. Given a workload of counting queries, the mechanism automatically selects a differ...