Sciweavers

7106 search results - page 343 / 1422
» Restricted Complexity, General Complexity
Sort
View
149
Voted
AAAI
2007
15 years 7 months ago
Asymptotically Optimal Encodings of Conformant Planning in QBF
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
Jussi Rintanen
WSC
2007
15 years 7 months ago
Qualitative simulation of construction performance using fuzzy cognitive maps
The construction process is subject to an array of influences, both from internal and external environments, which makes the process performance uncertain and difficult to predict...
Manjula Dissanayake, Simaan M. AbouRizk
133
Voted
CSR
2008
Springer
15 years 6 months ago
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
Eric Allender
188
Voted
AAAI
2010
15 years 6 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
ACL
2007
15 years 6 months ago
Mildly Context-Sensitive Dependency Languages
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constra...
Marco Kuhlmann, Mathias Möhl