311 search results - page 34 / 63 » Conservative Dual Consistency |
DAGSTUHL
2007
13 years 10 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
Prediction markets are used in real life to predict outcomes of interest such as presidential elections. In this work we introduce a mathematical theory for Artificial Prediction ...
TCAD
2008
13 years 8 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
BMCBI
2004
13 years 8 months ago
2004
Background: Annotation of sequences that share little similarity to sequences of known function remains a major obstacle in genome annotation. Some of the best methods of detectin...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...