16843 search results - page 100 / 3369 » On Generalized Authorization Problems |
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Commercials detection is very important for TV broadcast analysis. However, independent classification of video shots is very difficult because a considerable portion of individua...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
Traditional web link-based ranking schemes use a single score to measure a page’s authority without concern of the community from which that authority is derived. As a result, a...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
CSCW
2008
ACM
13 years 10 months ago
2008
ACM
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...