2432 search results - page 438 / 487 » Cryptographic logical relations |
133
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
153
click to vote
ECIR
2006
Springer
15 years 5 months ago
2006
Springer
Motion capturing has become an important tool in fields such as sports sciences, biometrics, and particularly in computer animation, where large collections of motion material are ...
150
click to vote
DOA
2001
15 years 5 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
132
click to vote
ECIS
2003
15 years 5 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
130
click to vote
NAACL
2004
15 years 5 months ago
2004
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...