3359 search results - page 575 / 672 » A Simplified Idea Algorithm |
AMAI
2010
Springer
13 years 6 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...
CGF
2010
13 years 6 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...
COLT
2010
Springer
13 years 6 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...
IJDLS
2010
13 years 6 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...
CORR
2010
Springer
13 years 5 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...