5128 search results - page 270 / 1026 » When Abstraction Fails |
205
click to vote
DFT
2006
IEEE
16 years 1 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
231
click to vote
ICDM
2006
IEEE
16 years 1 months ago
2006
IEEE
The immense explosion of geographically referenced data calls for efficient discovery of spatial knowledge. One critical requirement for spatial data mining is the capability to ...
206
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a robot audition system that recognizes simultaneous speech in the real world by using robotembedded microphones. We have previously reported Missing Featur...
220
click to vote
SMI
2006
IEEE
16 years 1 months ago
2006
IEEE
Databases of 3D shapes have become widespread for a variety of applications, and a key research problem is searching these databases for similar shapes. This paper introduces a me...
221
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
We present Topology-based Geolocation (TBG), a novel approach to estimating the geographic location of arbitrary Internet hosts. We motivate our work by showing that 1) existing a...