Sciweavers

1313 search results - page 152 / 263
» Generic Universe Types
Sort
View
142
Voted
APLAS
2003
ACM
15 years 10 months ago
Scrap Your Boilerplate
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
Simon L. Peyton Jones, Ralf Lämmel
131
Voted
PKC
2000
Springer
84views Cryptology» more  PKC 2000»
15 years 8 months ago
Forward Secrecy and Its Application to Future Mobile Communications Security
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
DongGook Park, Colin Boyd, Sang-Jae Moon
ACIVS
2009
Springer
15 years 8 months ago
Unsupervised Detection of Gradual Video Shot Changes with Motion-Based False Alarm Removal
The temporal segmentation of a video into shots is a fundamental prerequisite for video retrieval. There are two types of shot boundaries: abrupt shot changes (“cuts”) and grad...
Ralph Ewerth, Bernd Freisleben
141
Voted
WSC
2007
15 years 7 months ago
Hospital capacity planning for efficient disaster mitigation during a bioterrorist attack
Effective hospital capacity planning can not only significantly enhance the capability and effectiveness of the treatment provided to patients during a bioterrorist attack but can...
Jomon Aliyas Paul, Govind Hariharan
CIVR
2008
Springer
173views Image Analysis» more  CIVR 2008»
15 years 6 months ago
Adaptive multiple feedback strategies for interactive video search
In this paper, we propose adaptive multiple feedback strategies for interactive video retrieval. We first segregate interactive feedback into 3 distinct types (recall-driven relev...
Huan-Bo Luan, Yantao Zheng, Shi-Yong Neo, Yongdong...