Sciweavers

3323 search results - page 387 / 665
» Computational Semantics with Functional Programming
Sort
View
ACL
2009
15 years 4 months ago
Quantitative modeling of the neural representation of adjective-noun phrases to account for fMRI activation
Recent advances in functional Magnetic Resonance Imaging (fMRI) offer a significant new approach to studying semantic representations in humans by making it possible to directly o...
Kai-min K. Chang, Vladimir Cherkassky, Tom M. Mitc...
ICCV
2011
IEEE
14 years 6 months ago
Relative Attributes
Human-nameable visual “attributes” can benefit various recognition tasks. However, existing techniques restrict these properties to categorical labels (for example, a person ...
Devi Parikh, Kristen Grauman
HPDC
2008
IEEE
16 years 1 months ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
195
Voted
CACM
2010
121views more  CACM 2010»
15 years 4 months ago
Goldilocks: a race-aware Java runtime
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 1 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux