1026 search results - page 197 / 206 » A Methodology for Equational Reasoning |
140
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
Accurate registration between real and virtual objects is crucial for augmented reality applications. Existing tracking methods are individually inadequate: magnetic trackers are ...
97
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
payload. The current recommendations include SDH as the physical layer transmission standard. It is defined the BISDN user network interface (UNI) SDH-based at 155.52 Mbit/s, but t...
134
Voted
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
131
click to vote
ICEGOV
2007
ACM
15 years 5 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
137
Voted
ERCIMDL
2006
Springer
15 years 5 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...