1547 search results - page 222 / 310 » The Isabelle Collections Framework |
115
Voted
ISM
2006
IEEE
15 years 6 months ago
2006
IEEE
Event detection is of great importance in high-level semantic indexing and selective browsing of video clips. However, the use of low-level visual-audio feature descriptors alone ...
89
Voted
OZCHI
2006
ACM
15 years 6 months ago
2006
ACM
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
123
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
98
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes a new medical image analysis technique for polygon mesh surfaces of human faces for a medical diagnosis application. The goal is to explore the natural patter...
107
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...