10271 search results - page 605 / 2055 » Computer Science |
195
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
An experiment with distance technology in a secondyear Object-Oriented Systems Design course is described. Video and computer conferencing were used in tutorial sessions where a t...
173
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
We present an optimal strategy for searching for a goal in a street which achieves the competitive factor of √ 2, thus matching the best lower bound known before. This finally ...
171
click to vote
GI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Automatic gesture recognition holds the promise of making man-machine interfaces more natural and intuitive. We discuss six requirements for gesture recognition by robots...
185
click to vote
RELMICS
1998
Springer
15 years 11 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
198
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...