5671 search results - page 544 / 1135 » A Semantic Approach to Interpolation |
245
click to vote
NMR
2004
Springer
16 years 24 days ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
192
click to vote
MIE
2008
15 years 8 months ago
2008
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...
241
click to vote
JUCS
2010
15 years 5 months ago
2010
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...
278
click to vote
GROUP
2010
ACM
15 years 5 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
303
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...