1206 search results - page 80 / 242 » Concurrent Abstract Predicates |
112
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
114
Voted
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
113
Voted
ICML
1989
IEEE
15 years 4 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
86
Voted
DAARC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. It has been a prevalent assumption in the literature that phonetically null Subjects of finite clauses are pronouns. This paper examines in detail this empirical generali...
96
Voted
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...