Sciweavers

2526 search results - page 51 / 506
» A New Algorithm for Answer Set Computation
Sort
View
SIGMOD
2010
ACM
236views Database» more  SIGMOD 2010»
15 years 9 months ago
Differentially private aggregation of distributed time-series with transformation and encryption
We propose PASTE, the first differentially private aggregation algorithms for distributed time-series data that offer good practical utility without any trusted server. PASTE add...
Vibhor Rastogi, Suman Nath
ICAC
2009
IEEE
15 years 11 months ago
Applying genetic algorithms to decision making in autonomic computing systems
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
Andres J. Ramirez, David B. Knoester, Betty H. C. ...
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 9 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
MICAI
2005
Springer
15 years 10 months ago
Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order
Abstract. Kernel based methods (such as k-nearest neighbors classifiers) for AI tasks translate the classification problem into a proximity search problem, in a space that is usu...
Edgar Chávez, Karina Figueroa, Gonzalo Nava...
COR
2008
93views more  COR 2008»
15 years 5 months ago
Improving solver success in reaching feasibility for sets of nonlinear constraints
Whether a given nonlinear solver can reach a feasible point for a set of nonlinear constraints depends heavily on the initial point provided. We develop a range of computationally...
Walid Ibrahim, John W. Chinneck