256 search results - page 43 / 52 » Noetherian Spaces in Verification |
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The Web is increasingly understood as a global information space consisting not just of linked documents, but also of Linked Data. More than just a vision, the resulting Web of Da...
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Object detection in clutter or occlusion is a hard problem in computer vision. We propose an object detection method based on contour grouping. Two stages are included: a novel di...