15073 search results - page 2663 / 3015 » Probabilistic algorithms for computing resultants |
128
Voted
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
138
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Materialized XPath access-control views are commonly used for enforcing access control. When access control rules defining a materialized XML access-control view change, the view...
155
click to vote
ISAAC
2007
Springer
15 years 10 months ago
2007
Springer
Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and...
123
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Network coordinates provide a scalable way to estimate latencies among large numbers of hosts. While there are several algorithms for producing coordinates, none account for the f...
161
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...