Sciweavers

13784 search results - page 278 / 2757
» On Computing Functions with Uncertainty
Sort
View
CSCWD
2007
Springer
16 years 22 days ago
Service discovery in a DOM-based middleware architecture
Heterogeneity and uncertainty are two main characteristics of pervasive computing environment and CSCW. CSCW can be viewed as a special case of pervasive computing. Middleware is ...
Zhaomin Xu, Ming Cai, Jinxiang Dong
ACG
2009
Springer
16 years 1 months ago
Evaluation Function Based Monte-Carlo LOA
Recently, Monte-Carlo Tree Search (MCTS) has advanced the field of computer Go substantially. In the game of Lines of Action (LOA), which has been dominated in the past by αβ, M...
Mark H. M. Winands, Yngvi Björnsson
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
16 years 1 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
ARITH
2007
IEEE
16 years 28 days ago
Worst Cases of a Periodic Function for Large Arguments
One considers the problem of finding hard to round cases of a periodic function for large floating-point inputs, more precisely when the function cannot be efficiently approxim...
Guillaume Hanrot, Vincent Lefèvre, Damien S...
SCALESPACE
2007
Springer
16 years 21 days ago
On the Statistical Interpretation of the Piecewise Smooth Mumford-Shah Functional
In region-based image segmentation, two models dominate the field: the Mumford-Shah functional and statistical approaches based on Bayesian inference. Whereas the latter allow for...
Thomas Brox, Daniel Cremers