1734 search results - page 307 / 347 » its 2000 |
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
KDD
2012
ACM
12 years 9 days ago
2012
ACM
Clipping Web pages, namely extracting the informative clips (areas) from Web pages, has many applications, such as Web printing and e-reading on small handheld devices. Although m...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
MVA
2000
13 years 11 months ago
2000
Visualizations and simulations in an urban environment need 3D digital maps rather than traditional 2D maps, and constructing 3D maps from multiple data sources has become a promi...
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
14 years 12 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....