2869 search results - page 210 / 574 » The Inference Problem: A Survey |
145
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
132
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
174
click to vote
CORR
2012
Springer
14 years 12 days ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
106
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we present a novel learning based framework for performing super-resolution using multiple images. We model the image as an undirected graphical model over image pa...
122
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...