Sciweavers

5775 search results - page 824 / 1155
» A Rationale-based Analysis Tool
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
200
Voted
ISBI
2006
IEEE
16 years 7 months ago
Development of a research interface for image guided intervention: initial application to epilepsy neurosurgery
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
Xenophon Papademetris, Kenneth P. Vives, Marcello ...
181
Voted
ISBI
2008
IEEE
16 years 7 months ago
On approximation of orientation distributions by means of spherical ridgelets
Visualization and analysis of the micro-architecture of brain parenchyma by means of magnetic resonance imaging is nowadays believed to be one of the most powerful tools used for ...
Oleg V. Michailovich, Yogesh Rathi
216
Voted
KDD
2001
ACM
187views Data Mining» more  KDD 2001»
16 years 7 months ago
Random projection in dimensionality reduction: applications to image and text data
Random projections have recently emerged as a powerful method for dimensionality reduction. Theoretical results indicate that the method preserves distances quite nicely; however,...
Ella Bingham, Heikki Mannila
162
Voted
CHI
2008
ACM
16 years 7 months ago
Idea management in creative lives
This research explores how ideas occur in creative work and the strategies and tools used to represent and develop them. We describe the analysis of an open questionnaire survey o...
Tim Coughlan, Peter Johnson