4609 search results - page 558 / 922 » Automatic Generation of Sigma-Protocols |
188
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
161
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Visualization and mapping of function on the cortical surface is difficult because of its sulcal and gyral convolutions. Methods to unfold and flatten the cortical surface for vis...
202
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
How to assign appropriate weights to terms is one of the critical issues in information retrieval. Many term weighting schemes are unsupervised. They are either based on the empir...
179
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
lative Novelty to Identify Useful Temporal Abstractions in Reinforcement Learning ?Ozg?ur S?im?sek ozgur@cs.umass.edu Andrew G. Barto barto@cs.umass.edu Department of Computer Scie...
191
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...