3359 search results - page 575 / 672 » A Simplified Idea Algorithm |
119
click to vote
AMAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
137
click to vote
CGF
2010
14 years 11 months ago
2010
Incense, candle smoke and cigarette smoke often exhibit smoke flows with a surface-like appearance. Although delving into well-known computational fluid dynamics may provide a sol...
138
Voted
COLT
2010
Springer
14 years 11 months ago
2010
Springer
We consider a bandit problem which involves sequential sampling from two populations (arms). Each arm produces a noisy reward realization which depends on an observable random cov...
130
click to vote
IJDLS
2010
14 years 11 months ago
2010
Recent initiatives like the Million Book Project and Google Print Library Project have already archived several million books in digital format, and within a few years a significa...
102
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--This paper is concerned with the concept of equilibrium and quality of service (QoS) provisioning in self-configuring wireless networks with non-cooperative radio devices...