11797 search results - page 368 / 2360 » Recent Developments in the Experimental |
177
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
181
click to vote
DM
2010
15 years 7 months ago
2010
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, sta...
161
click to vote
DEDS
2008
15 years 7 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
162
click to vote
CRYPTOLOGIA
2006
15 years 6 months ago
2006
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...
180
Voted
CSDA
2006
15 years 6 months ago
2006
We propose a simulation-based method for calculating maximum likelihood estimators in latent variable models. The proposed method integrates a recently developed sampling strategy...