4963 search results - page 856 / 993 » Implementing a Categorical Information System |
212
click to vote
VLDB
2005
ACM
16 years 16 days ago
2005
ACM
“W3QL: A Query Language for the WWW”, published in 1995, presented a language with several distinctive features. Employing existing indexes as access paths, it allowed the sel...
218
click to vote
MM
2004
ACM
16 years 14 days ago
2004
ACM
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
171
click to vote
NETGAMES
2004
ACM
16 years 14 days ago
2004
ACM
Local perception filters exploit the limitations of human perception to reduce the effects of network latency in multiplayer computer games. Because they allow temporal distorti...
158
click to vote
NSPW
2004
ACM
16 years 14 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
192
click to vote
AMAST
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...