5105 search results - page 369 / 1021 » An algorithm to determine peer-reviewers |
171
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
We present algorithms that compute the linear and quadratic factors of supersparse (lacunary) bivariate polynomials over the rational numbers in polynomial-time in the input size....
187
click to vote
SAT
2005
Springer
16 years 10 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
192
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
177
click to vote
VLDB
2005
ACM
16 years 10 days ago
2005
ACM
When a private relational table is published using views, secrecy or privacy may be violated. This paper uses a formally-defined notion of k-anonymity to measure disclosure by vi...
199
click to vote
ALGOSENSORS
2004
Springer
16 years 7 days ago
2004
Springer
Determining the positions of the sensor nodes in a network is essential to many network functionalities such as routing, coverage and tracking, and event detection. The localizatio...