4218 search results - page 140 / 844 » Complete sets of cooperations |
77
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
94
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
98
Voted
COMBINATORICA
2008
15 years 28 days ago
2008
It is a long standing open problem to find an explicit description of the stable set polytope of clawfree graphs. Yet more than 20 years after the discovery of a polynomial algori...
84
Voted
JAIR
2006
15 years 24 days ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
95
Voted
PRL
2002
15 years 15 days ago
2002
Missing data handling is an important preparation step for most data discrimination or mining tasks. Inappropriate treatment of missing data may cause large errors or false result...