Sciweavers

1746 search results - page 193 / 350
» Residual for Component Specifications
Sort
View
ICIP
2008
IEEE
16 years 6 months ago
Using sensor pattern noise for camera model identification
Sensor photo-response non-uniformity (PRNU) was introduced by Luk?as et al. [1] to solve the problem of digital camera sensor identification. The PRNU is the main component of a c...
Jessica J. Fridrich, Miroslav Goljan, Tomás...
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 5 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
16 years 5 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
118
Voted
HICSS
2009
IEEE
144views Biometrics» more  HICSS 2009»
15 years 11 months ago
Operationalised Business Intelligence: Knowledge Sharing with an Enterprise Ambition at the Amsterdam-Amstelland Police Departme
In this article we describe the operationalised Business Intelligence (BI) environment of the Amsterdam-Amstelland Police Department (AAPD) as it presented itself in the spring of...
Stijn Viaene, Luc Lutin, Steven De Hertogh
OTM
2009
Springer
15 years 11 months ago
Efficient Management of Biomedical Ontology Versions
Abstract. Ontologies have become very popular in life sciences and other domains. They mostly undergo continuous changes and new ontology versions are frequently released. However,...
Toralf Kirsten, Michael Hartung, Anika Gross, Erha...