1701 search results - page 200 / 341 » Computer Science and State Machines |
STACS
1994
Springer
15 years 2 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
120
click to vote
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
89
Voted
DIS
2004
Springer
15 years 1 months ago
2004
Springer
The aim of our work is to provide support for reading (or skimming) scientific papers. In this paper we report on the task to identify concepts or terms with positive attributions ...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
In supervised machine learning, variable ranking aims at sorting the input variables according to their relevance w.r.t. an output variable. In this paper, we propose a new relevan...
CSR
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...