Sciweavers

1007 search results - page 57 / 202
» The Complexity of Futile Questioning
Sort
View
CCA
2005
Springer
15 years 6 months ago
Computable Versions of Basic Theorems in Functional Analysis
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
Atsushi Yoshikawa, Mariko Yasugi
FLAIRS
2003
15 years 5 months ago
Norm Adaptation and Revision in a Multi-Agent System
In this paper we address the question of assigning social norms to agents: should we attempt to ascribe social norms to agents that will act in complex dynamic environments, or is...
Nicholas Lacey, Henry Hexmoor
128
Voted
IPL
2007
69views more  IPL 2007»
15 years 3 months ago
On the fixed-parameter tractability of the equivalence test of monotone normal forms
We consider the problem Monet—given two monotone formulas ϕ in DNF and ψ in CNF, decide whether they are equivalent. While Monet is probably not coNPhard, it is a long standin...
Matthias Hagen
149
Voted
SIAMCO
2011
14 years 11 months ago
On Riccati Equations in Banach Algebras
Let R be a commutative complex Banach algebra with the involution ·⋆ and suppose that A ∈ Rn×n , B ∈ Rn×m , C ∈ Rp×n . The question of when the Riccati equation PBB⋆ ...
Ruth Curtain, Amol Sasane
CP
2000
Springer
15 years 8 months ago
Random 3-SAT: The Plot Thickens
Abstract. This paper presents an experimental investigation of the following questions: how does the averagecase complexity of random 3-SAT, understood as a function of the order (...
Cristian Coarfa, Demetrios D. Demopoulos, Alfonso ...