4199 search results - page 647 / 840 » Generalizing Data in Natural Language |
154
click to vote
ALT
2007
Springer
16 years 3 months ago
2007
Springer
As some cognitive research suggests, in the process of learning languages, in addition to overt explicit negative evidence, a child often receives covert explicit evidence in form...
182
click to vote
CMSB
2009
Springer
16 years 29 days ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
164
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
177
click to vote
TLDI
2005
ACM
15 years 12 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
166
click to vote
EGH
2005
Springer
15 years 12 months ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...