1562 search results - page 141 / 313 » Convenience Over Correctness |
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
FGR
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe a method to detect instances of a walking person carrying an object seen from a stationary camera. We take a correspondence-free motion-based recognition approach, tha...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents in detail an efficient and provably correct algorithm for database replication over partitionable networks. Our algorithm avoids the need for end-toend acknow...
MSE
2002
IEEE
14 years 2 months ago
2002
IEEE
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
VL
2002
IEEE
14 years 2 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...