445 search results - page 37 / 89 » A Systematic Construction of Abstract Domains |
105
click to vote
DLOG
2010
14 years 9 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
PRIMA
2009
Springer
15 years 6 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
ECIR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper describes an efficient method to construct reliable machine learning applications in peer-to-peer (P2P) networks by building ensemble based meta methods. We co...
100
click to vote
CONSTRAINTS
2006
14 years 12 months ago
2006
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...
IJSI
2008
14 years 11 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...