7296 search results - page 1085 / 1460 » informs 2010 |
204
click to vote
IPCAI
2010
15 years 9 months ago
2010
Image-guided neurosurgical interventional procedures utilize medical imaging techniques to identify the most appropriate path for accessing a targeted structure. Often, preoperativ...
199
click to vote
ISQED
2010
IEEE
15 years 9 months ago
2010
IEEE
Recent studies have shown that an attacker can retrieve confidential information from cryptographic hardware (e.g. the secret key) by introducing internal faults. A secure and re...
261
click to vote
ITP
2010
15 years 9 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
189
click to vote
IUI
2010
ACM
15 years 9 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
203
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Current trends in web development still are attached to the web page paradigm. Nevertheless, new uses of already available technology and recent development in terms of concepts, ...