2291 search results - page 211 / 459 » Representational Reasoning and Verification |
112
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
184
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
In state-of-the-art image retrieval systems, an image is
represented by a bag of visual words obtained by quantizing
high-dimensional local image descriptors, and scalable
schem...
126
Voted
TSMC
2010
14 years 7 months ago
2010
In recent years the protection of biometric data has gained increased interest from the scientific community. Methods such as the fuzzy commitment scheme, helper data system, fuzzy...
119
Voted
ASP
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, H...
117
Voted
IEEEHPCS
2010
14 years 11 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...