6978 search results - page 1169 / 1396 » On Proofs in System P |
179
click to vote
APN
2004
Springer
16 years 2 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...
193
click to vote
CIVR
2004
Springer
16 years 2 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-...
183
click to vote
EGH
2004
Springer
16 years 2 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...
236
click to vote
ISMS
2004
Springer
16 years 1 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...
184
click to vote
ISW
2004
Springer
16 years 1 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...