503 search results - page 31 / 101 » Equality In Lazy Computation Systems |
117
click to vote
TMI
2010
14 years 11 months ago
2010
—We present a computer-aided detection (CAD) system for computed tomography colonography that orders the polyps according to clinical relevance. The CAD system consists of two st...
101
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
189
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
133
Voted
PVLDB
2010
14 years 11 months ago
2010
Replication is a key mechanism to achieve scalability and fault-tolerance in databases. Its importance has recently been further increased because of the role it plays in achievin...
103
click to vote
ICCV
2011
IEEE
14 years 15 days ago
2011
IEEE
In this paper, we propose a physically-based dynamical model for tracking. Our model relies on Newton’s second law of motion, which governs any real-world dynamical system. As a...