Sciweavers

2560 search results - page 95 / 512
» Contributions to zero-sum problems
Sort
View
VISUALIZATION
1999
IEEE
14 years 1 months ago
Tensorlines: Advection-Diffusion Based Propagation through Diffusion Tensor Fields
Tracking linear features through tensor field datasets is an open research problem with widespread utility in medical and engineering disciplines. Existing tracking methods, which...
David M. Weinstein, Gordon L. Kindlmann, Eric C. L...
DAC
2009
ACM
14 years 1 months ago
NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan P...
ESOP
2008
Springer
13 years 11 months ago
Typing Safe Deallocation
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
Gérard Boudol
UAI
1998
13 years 10 months ago
Structured Reachability Analysis for Markov Decision Processes
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
Craig Boutilier, Ronen I. Brafman, Christopher W. ...
FTHCI
2007
99views more  FTHCI 2007»
13 years 9 months ago
Human-Robot Interaction: A Survey
Human–Robot Interaction (HRI) has recently received considerable attention in the academic community, in labs, in technology companies, and through the media. Because of this at...
Michael A. Goodrich, Alan C. Schultz