2661 search results - page 437 / 533 » Quantum Complexity Classes |
92
Voted
FGCS
2000
15 years 26 days ago
2000
This paper focuses on parallel query optimization. We consider the operator problem and introduce a new class of execution strategies called Linear-Oriented Bushy Trees (LBTs). Co...
125
Voted
JCSS
2000
15 years 25 days ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
110
Voted
IJHCI
2002
15 years 22 days ago
2002
This article describes automated tools for increasing organizational awareness within a global enterprise. The MITRE Corporation is the context for the current work, however the t...
124
Voted
DEDS
1998
15 years 22 days ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
112
Voted
AUTOMATICA
1999
15 years 22 days ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...