7991 search results - page 551 / 1599 » Using More Reasoning to Improve |
215
click to vote
CORR
2012
Springer
14 years 2 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...
281
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
173
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
180
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Speech processing is typically based on a set of complex algorithms requiring many parameters to be specified. When parts of the speech processing chain do not behave as expected...
172
click to vote
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...