1140 search results - page 107 / 228 » Progress on Certifying Algorithms |
98
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
111
click to vote
WWW
2001
ACM
16 years 1 months ago
2001
ACM
Mobile computing is considered of major importance to the computing industry for the forthcoming years due to the progress in the wireless communications area. A proxy-based archi...
90
Voted
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
103
Voted
SADFE
2009
IEEE
15 years 7 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
102
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Whilst techniques for narrative generation and agent behaviour have made significant progress in recent years, natural language processing remains a bottleneck hampering the scala...