3595 search results - page 148 / 719 » Roles of Program Extension |
127
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
148
click to vote
FGCS
1992
15 years 5 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
127
click to vote
ANOR
2005
15 years 4 months ago
2005
: The vertex coloring problem has been the subject of extensive research for many years. Driven by application potential as well as computational challenge, a variety of methods ha...