1209 search results - page 156 / 242 » Universal Algebra and Computer Science |
145
click to vote
ROBVIS
2001
Springer
15 years 7 months ago
2001
Springer
This paper reviews papers on tracking people in a video surveillance system, and it presents a new system designed for being able to cope with shadows in a real-time application f...
130
Voted
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
122
Voted
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
131
Voted
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
134
Voted
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...