15754 search results - page 221 / 3151 » Programs are Knowledge Bases |
138
click to vote
COLING
2010
14 years 12 months ago
2010
Texts are replete with gaps, information omitted since authors assume a certain amount of background knowledge. We define the process of enrichment that fills these gaps. We descr...
132
click to vote
DNA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
121
click to vote
AIM
2006
15 years 6 months ago
2006
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
138
click to vote
PEPM
1994
ACM
15 years 9 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
134
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...