6978 search results - page 1169 / 1396 » On Proofs in System P |
195
click to vote
APN
2004
Springer
16 years 20 days ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
227
click to vote
CIVR
2004
Springer
16 years 20 days ago
2004
Springer
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
213
click to vote
EGH
2004
Springer
16 years 20 days ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
263
click to vote
ISMS
2004
Springer
16 years 19 days ago
2004
Springer
Advancements in robotics have led to significant improvements in robot-assisted minimally invasive surgery. The use of these robotic systems has improved surgeon dexterity, reduced...
211
click to vote
ISW
2004
Springer
16 years 19 days ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...