Sciweavers

4966 search results - page 197 / 994
» its 2010
Sort
View
KR
2010
Springer
15 years 11 months ago
Taxonomy of Improvement Operators and the Problem of Minimal Change
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
Sébastien Konieczny, Mattia Medina Grespan,...
ICPR
2010
IEEE
15 years 11 months ago
Gaussian Process Learning from Order Relationships Using Expectation Propagation
A method for Gaussian process learning of a scalar function from a set of pair-wise order relationships is presented. Expectation propagation is used to obtain an approximation to...
Ruixuan Wang, Stephen James Mckenna
CBSE
2010
Springer
15 years 11 months ago
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
Simon Allier, Houari A. Sahraoui, Salah Sadou, St&...
CSR
2010
Springer
15 years 10 months ago
Zigzags in Turing Machines
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of r...
Anahí Gajardo, Pierre Guillon
STACS
2010
Springer
15 years 10 months ago
The Complexity of the List Homomorphism Problem for Graphs
We completely characterise the computational complexity of the list homomorphism problem for graphs in combinatorial and algebraic terms: for every graph H the problem is either N...
László Egri, Andrei A. Krokhin, Beno...