4328 search results - page 170 / 866 » A New Kind of Science |
164
click to vote
CSCW
2006
ACM
16 years 18 days ago
2006
ACM
In the ten years since the distinction between “place” and “space” emerged as a consideration for CSCW researchers and designers, the concepts have proven useful across a ...
175
click to vote
ACSC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
156
click to vote
FOCS
2005
IEEE
16 years 7 days ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
147
click to vote
SOFSEM
2005
Springer
16 years 3 days 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...
183
click to vote
TLCA
2005
Springer
16 years 3 days 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 ...