2786 search results - page 481 / 558 » A Practical Technique for Process Abstraction |
192
click to vote
TPHOL
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
152
click to vote
UM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
142
click to vote
EICS
2009
ACM
16 years 22 days ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
171
click to vote
IJCNN
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— Meta-Learning has been used to predict the performance of learning algorithms based on descriptive features of the learning problems. Each training example in this cont...
136
click to vote
MMM
2008
Springer
16 years 18 days ago
2008
Springer
Abstract. With the explosive growth of multimedia data, video presentation has become an important technology for fast browsing of video content. In this paper, we present a novel ...