Sciweavers

7978 search results - page 1393 / 1596
» Combining shared-coin algorithms
Sort
View
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
SIVP
2010
184views more  SIVP 2010»
15 years 2 months ago
Multichannel AR parameter estimation from noisy observations as an errors-in-variables issue
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
Julien Petitjean, Eric Grivel, William Bobillet, P...
SUM
2010
Springer
15 years 2 months ago
Cost-Based Query Answering in Action Probabilistic Logic Programs
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
Gerardo I. Simari, John P. Dickerson, V. S. Subrah...
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
15 years 2 months ago
Bad Pairs in Software Testing
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
TIP
2010
189views more  TIP 2010»
15 years 2 months ago
Image Inpainting by Patch Propagation Using Patch Sparsity
Abstract—This paper introduces a novel examplar-based inpainting algorithm through investigating the sparsity of natural image patches. Two novel concepts of sparsity at the patc...
Zongben Xu, Jian Sun
« Prev « First page 1393 / 1596 Last » Next »