3690 search results - page 191 / 738 » Computation with classical sequents |
112
Voted
STACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks. This paper propose...
101
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...
95
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
: In our research we explore the benefits resulting from the application of Semantic Web technologies in the recruitment domain. We use currently available standards and classifi...
MHCI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
An automatic traffic sign detection system would be important in a driver assistance system. In this paper, an approach for detecting numbers on speed limit signs is proposed. Suc...