798 search results - page 130 / 160 » Proving More Properties with Bounded Model Checking |
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— We analyze the generalization performance of a student in a model composed of linear perceptrons: a true teacher, ensemble teachers, and the student. Calculating the generaliza...
NIPS
2008
15 years 3 months ago
2008
We study the profit-maximization problem of a monopolistic market-maker who sets two-sided prices in an asset market. The sequential decision problem is hard to solve because the ...
155
click to vote
RTCSA
1998
IEEE
15 years 6 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
142
click to vote
COCO
2010
Springer
15 years 5 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...