1280 search results - page 169 / 256 » Soft Typing with Conditional Types |
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a novel approach to change detection between two brain MRI scans (reference and target.) The proposed method uses a single modality to find subtle changes; and does no...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Our work builds a general visibility model of video packets which is applicable to various types of GOP (Group of Pictures). The data used for analysis and building the model come...
SASO
2009
IEEE
14 years 3 months ago
2009
IEEE
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...