759 search results - page 142 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
SIGMOD
2004
ACM
14 years 11 months ago
2004
ACM
Mining informative patterns from very large, dynamically changing databases poses numerous interesting challenges. Data summarizations (e.g., data bubbles) have been proposed to c...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
KDD
2009
ACM
14 years 5 months ago
2009
ACM
Anomalous windows are the contiguous groupings of data points. In this paper, we propose an approach for discovering anomalous windows using Scan Statistics for Linear Intersectin...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...
CIVR
2008
Springer
14 years 21 days ago
2008
Springer
We describe a novel approach to identifying specific settings in large collections of passively captured images corresponding to a visual diary. An algorithm developed for setting...