Sciweavers

12670 search results - page 371 / 2534
» Requirements Modeling
Sort
View
PKC
2010
Springer
150views Cryptology» more  PKC 2010»
15 years 10 months ago
Security of Encryption Schemes in Weakened Random Oracle Models
Liskov proposed several weakened versions of the random oracle model, called weakened random oracle models (WROMs), to capture the vulnerability of ideal compression functions, wh...
Akinori Kawachi, Akira Numayama, Keisuke Tanaka, K...
CPAIOR
2004
Springer
15 years 10 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
ICDE
2006
IEEE
152views Database» more  ICDE 2006»
16 years 8 months ago
Mining Actionable Patterns by Role Models
Data mining promises to discover valid and potentially useful patterns in data. Often, discovered patterns are not useful to the user. "Actionability" addresses this pro...
Ke Wang, Yuelong Jiang, Alexander Tuzhilin
ICPR
2008
IEEE
16 years 8 months ago
A discriminative semi-Markov model for robust scene text recognition
We present a semi-Markov model for recognizing scene text that integrates character and word segmentation with recognition. Using wavelet features, it requires only approximate lo...
Allen R. Hanson, Erik G. Learned-Miller, Jerod J. ...
MICCAI
2003
Springer
16 years 7 months ago
Computed Cleansing for Virtual Colonoscopy Using a Three-Material Transition Model
Virtual colonoscopy is a non-invasive technique for the detection of polyps. Currently, a clean colon is required; as without cleansing the colonic wall cannot be segmented. Enhanc...
Iwo Serlie, Roel Truyen, Jasper Florie, Frits H. P...