2089 search results - page 204 / 418 » Finding Environment Guarantees |
142
click to vote
IJFCS
2006
15 years 4 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
118
click to vote
JAIR
2006
15 years 4 months 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 ...
145
click to vote
JMLR
2006
15 years 4 months ago
2006
In recent years, there has been a growing interest in applying Bayesian networks and their extensions to reconstruct regulatory networks from gene expression data. Since the gene ...
135
click to vote
JMLR
2006
15 years 4 months ago
2006
An ensemble is a group of learning models that jointly solve a problem. However, the ensembles generated by existing techniques are sometimes unnecessarily large, which can lead t...
133
click to vote
MOR
2006
15 years 4 months ago
2006
We apply the method known as simulated annealing to the following problem in convex optimization: minimize a linear function over an arbitrary convex set, where the convex set is ...