10038 search results - page 1659 / 2008 » Model Checking for Managers |
167
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
178
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
163
click to vote
ICANNGA
2009
Springer
16 years 1 months ago
2009
Springer
We propose a generalized model with configurable discretizer actuators as a solution to the problem of the discretization of massive numerical datasets. Our solution is based on a ...
164
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Media forensics tries to determine the originating device of a signal. We apply this paradigm to microphone forensics, determining the microphone model used to record a given audio...
177
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Image splicing detection has been considered as one of the most challenging problems in passive image authentication. In this paper, we propose an automatic detection framework to ...