4155 search results - page 455 / 831 » External Memory Algorithms |
215
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
204
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Corporate fraud these days represents a huge cost to our economy. Academic literature already concentrated on how data mining techniques can be of value in the fight against frau...
185
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we describe the components of a novel algorithm for the extraction of dominant orthogonal planar structures from monocular images taken in indoor environments. T...
152
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In recent years, there has been an increasing interest in developing systems that couple a robotic device with an ultrasound imager. Applications range from automatic probe pos...
215
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...