1554 search results - page 96 / 311 » Parameterized Complexity and Approximation Algorithms |
121
click to vote
IJAR
2006
15 years 4 months ago
2006
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
177
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
The Delaunay triangulation and its dual the Voronoi diagram are ubiquitous geometric complexes. From a topological standpoint, the connection has recently been made between these ...
241
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
We continue the study of approximating the number of distinct elements in a data stream of length n to within a (1? ) factor. It is known that if the stream may consist of arbitra...
140
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
121
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...