Sciweavers

1169 search results - page 73 / 234
» Degrees of monotone complexity
Sort
View
BTW
2009
Springer
153views Database» more  BTW 2009»
14 years 2 months ago
Now it's Obvious to The Eye - Visually Explaining XQuery Evaluation in a Native XML Database Management System
Abstract: As the evaluation of XQuery expressions in native XML database management systems is a complex task and offers several degrees of freedom, we propose a visual explanation...
Andreas M. Weiner, Christian Mathis, Theo Här...
ICCD
1993
IEEE
94views Hardware» more  ICCD 1993»
14 years 2 months ago
Symbolic Analysis Methods for Masks, Circuits, and Systems
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
Randal E. Bryant
BPSC
2007
202views Business» more  BPSC 2007»
13 years 11 months ago
Towards Autonomic Processes and Services
More than ever, computing devices are becoming more powerful and networked, organizational boundaries are dissolving, and underlying information systems become more complex, thus r...
Schahram Dustdar
COLING
1994
13 years 11 months ago
Towards a Proper Linguistic and Computational Treatment of Scrambling: An Analysis of Japanese
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
Sandiway Pong
MST
2010
105views more  MST 2010»
13 years 8 months ago
On the Automatizability of Polynomial Calculus
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
Nicola Galesi, Massimo Lauria