276 search results - page 33 / 56 » Constraint Propagation as a Proof System |
IJSNET
2007
13 years 7 months ago
2007
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
JVCIR
2008
13 years 7 months ago
2008
In this article we present three key ideas which together form a flexible framework for maximizing user-perceived quality under given resources with modern video codecs (H.264). F...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. We present here a method that aims at defining a surfacebased coordinate system on the cortical surface. Such a system is needed for both cortical localization and inters...
ICPP
1999
IEEE
13 years 12 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...