2173 search results - page 301 / 435 » The History of the History of Software |
199
click to vote
ECML
2005
Springer
15 years 12 months ago
2005
Springer
Partially Observable Markov Decision Processes (POMDP) provide a standard framework for sequential decision making in stochastic environments. In this setting, an agent takes actio...
170
click to vote
ICMI
2005
Springer
15 years 12 months ago
2005
Springer
Analysis of the human gaze is a basic way to investigate human attention. Similarly, the view image of a human being includes the visual information of what he/she pays attention ...
171
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Collaborative Filtering (CF), the prevalent recommendation approach, has been successfully used to identify users that can be characterized as “similar” according to their logg...
163
click to vote
IWDW
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a watermarking based approach, and its implementation, for mitigating phishing attacks - a form of web based identity theft. ViWiD is an integrity check m...
192
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...