2694 search results - page 88 / 539 » Frege's New Science |
140
click to vote
SOFSEM
2005
Springer
15 years 12 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
180
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
148
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: The possibility of disconnection is one of the fundamental new networking problems presented by sensor networks. The goal of this paper is to address the problem of resul...
140
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
169
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
People are emotional, and machines are not. That constrains their communication, and defines a key challenge for the information sciences. Different groups have addressed it from d...