2036 search results - page 99 / 408 » From Sampling to Model Counting |
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
114
click to vote
WDAG
1998
Springer
15 years 5 months ago
1998
Springer
The paper addresses the problemof solving classic distributed algorithmic problems under the practical model of Broadcast Communication Networks. Our main result is a new Leader El...
113
click to vote
ACNS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...
104
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
We boost the efficiency and robustness of distributionbased matching by random subsampling which results in the minimum number of samples required to achieve a specified probabili...