Sciweavers

4488 search results - page 291 / 898
» Properties of NP-Complete Sets
Sort
View
ISVD
2007
IEEE
16 years 1 months ago
Voronoi Diagrams for Oriented Spheres
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
Franz Aurenhammer, Johannes Wallner, Martin Petern...
CCS
2007
ACM
16 years 1 months ago
The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86)
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
Hovav Shacham
COCO
2007
Springer
142views Algorithms» more  COCO 2007»
16 years 1 months ago
Quantum t-designs: t-wise Independence in the Quantum World
A t-design for quantum states is a finite set of quantum states with the property of simulating the Haar-measure on quantum states w.r.t. any test that uses at most t copies of a...
Andris Ambainis, Joseph Emerson
KSEM
2007
Springer
16 years 29 days ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
SEKE
2007
Springer
16 years 28 days ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias