1000 search results - page 168 / 200 » Nominal rewriting systems |
VRST
2009
ACM
14 years 3 months ago
2009
ACM
The display units integrated in todays head-mounted displays (HMDs) provide only a limited field of view (FOV) to the virtual world. In order to present an undistorted view to th...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
A field study of Computer Mediated Communication (CMC) as used in higher education asks the questions, "Will students take part in synchronous chat sessions if they are sched...
KR
2010
Springer
14 years 1 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
MSS
1999
IEEE
14 years 28 days ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
ECCV
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...