Sciweavers

8486 search results - page 1515 / 1698
» Ordered Enumeration Method
Sort
View
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 1 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
SAC
2010
ACM
15 years 11 months ago
Enhancing document structure analysis using visual analytics
During the last decade national archives, libraries, museums and companies started to make their records, books and files electronically available. In order to allow efficient ac...
Andreas Stoffel, David Spretke, Henrik Kinnemann, ...
ISBI
2009
IEEE
15 years 11 months ago
Quantitative Validation of Optical Flow Based Myocardial Strain Measures Using Sonomicrometry
Dynamic cardiac metrics, including myocardial strains and displacements, provide a quantitative approach to evaluate cardiac function. However, in current clinical diagnosis, larg...
Qi Duan, Katherine Parker, Auranuch Lorsakul, Elsa...
IPPS
2009
IEEE
15 years 11 months ago
Dynamic iterations for the solution of ordinary differential equations on multicore processors
In the past few years, there has been a trend of providing increased computing power through greater number of cores on a chip, rather than through higher clock speeds. In order t...
Yanan Yu, Ashok Srinivasan
IROS
2009
IEEE
138views Robotics» more  IROS 2009»
15 years 11 months ago
Using eigenposes for lossless periodic human motion imitation
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...
Rawichote Chalodhorn, Rajesh P. N. Rao
« Prev « First page 1515 / 1698 Last » Next »