16513 search results - page 2848 / 3303 » Numerical Analysis Methods |
155
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This research explores how a wide range of automobile crash, emergency responder, hospital, and trauma information could be useful to emergency medical practitioners for making de...
172
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a data-driven approach that extracts prior information for segmentation of the left ventricle in cardiac MR images of transplanted rat hearts. In our app...
142
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
For over a century, citizen scientists have volunteered to collect huge quantities of data for professional scientists to analyze. We designed Pathfinder, an online environment th...
135
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Especially in the past few years, there has been an increase in the rejection rate of interactive consumer electronics products in the field, not due to broken hardware or softwar...
146
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...