1740 search results - page 192 / 348 » Minimal structures for stories |
118
click to vote
MICCAI
2003
Springer
16 years 4 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...
126
Voted
HPCA
2006
IEEE
16 years 4 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...
219
Voted
VLDB
2007
ACM
16 years 4 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...
211
Voted
VLDB
2007
ACM
16 years 4 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 ...
176
Voted
ICFP
2006
ACM
16 years 3 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...