1007 search results - page 128 / 202 » The Complexity of Futile Questioning |
LOGCOM
2008
15 years 21 days ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
159
click to vote
FUIN
2007
15 years 21 days ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
118
Voted
JSYML
2007
15 years 19 days ago
2007
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...
127
click to vote
BMCBI
2004
15 years 18 days ago
2004
Background: Information obtained by DNA microarray technology gives a rough snapshot of the transcriptome state, i.e., the expression level of all the genes expressed in a cell po...
108
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with...