2661 search results - page 303 / 533 » Quantum Complexity Classes |
154
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
131
Voted
CICLING
2004
Springer
15 years 9 months ago
2004
Springer
When text categorization is applied to complex tasks, it is tedious and expensive to hand-label the large amounts of training data necessary for good performance. In this paper, we...
124
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
106
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
136
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...