6274 search results - page 124 / 1255 » Proofs, Programs, Processes |
164
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
166
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
159
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
144
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
194
click to vote
JMLR
2012
13 years 8 months ago
2012
We show that the stick-breaking construction of the beta process due to Paisley et al. (2010) can be obtained from the characterization of the beta process as a Poisson process. S...