1740 search results - page 192 / 348 » Minimal structures for stories |
153
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
The quality of cardiac images acquired with multi-detector CT scanners has improved significantly, to the point where minimally invasive examination of the coronary arteries became...
150
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Building processors with large instruction windows has been proposed as a mechanism for overcoming the memory wall, but finding a feasible and implementable design has been an elu...
260
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
256
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
215
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...