5838 search results - page 984 / 1168 » A File System for System Programming in Ubiquitous Computing |
144
click to vote
WMTE
2006
IEEE
15 years 10 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
153
click to vote
COCO
2005
Springer
15 years 9 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
155
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
130
click to vote
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
123
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...