701 search results - page 37 / 141 » Comments on |
138
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
92
Voted
JSAI
2005
Springer
15 years 9 months ago
2005
Springer
In a blog network, there are many relations such as comment, trackback, and so on. We consider that if the relations are related to user’s reading activity, we can extract useful...
101
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
107
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
In this poster, we will present the results of efforts we have undertaken to conduct evaluations of a QA system in a real world environment and to understand the nature of the dim...
120
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...