677 search results - page 102 / 136 » Rigorous Object-Oriented Analysis |
121
Voted
KDD
2003
ACM
16 years 3 months ago
2003
ACM
We present a method for very high-dimensional correlation analysis. The method relies equally on rigorous search strategies and on human interaction. At each step, the method cons...
114
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
127
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— In our recent work [1], [2], we proposed Point Feature Histograms (PFH) as robust multi-dimensional features which describe the local geometry around a point p for 3D point clo...
107
Voted
ITICSE
2009
ACM
15 years 10 months ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signi...
133
Voted
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...