2168 search results - page 87 / 434 » Using Approximation Hardness to Achieve Dependable Computati... |
128
Voted
MICCAI
2009
Springer
16 years 27 days ago
2009
Springer
Automated segmentation of the esophagus in CT images is of high value to radiologists for oncological examinations of the mediastinum. It can serve as a guideline and prevent confu...
152
Voted
IEEEICCI
2005
IEEE
15 years 9 months ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
119
Voted
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
We present a new differential compression algorithm that combines the hash value techniques and suffix array techniques of previous work. Differential compression refers to encodi...
129
Voted
STOC
2004
ACM
16 years 3 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
123
Voted
FMSD
2006
15 years 3 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...