Sciweavers

3653 search results - page 155 / 731
» Learning of Partial Languages
Sort
View
114
Voted
ICPR
2008
IEEE
15 years 10 months ago
Correspondences of point sets using Particle Filters
The paper shows how Particle Filters can be used to establish visually consistent partial correspondences between similar features in unrestricted 2D point sets representing shape...
Rolf Lakämper, Shusha Li, Marc Sobel
EUROCRYPT
2000
Springer
15 years 7 months ago
Exposure-Resilient Functions and All-or-Nothing Transforms
Abstract. We study the problem of partial key exposure. Standard cryptographic definitions and constructions do not guarantee any security even if a tiny fraction of the secret key...
Ran Canetti, Yevgeniy Dodis, Shai Halevi, Eyal Kus...
TPHOL
2002
IEEE
15 years 8 months ago
Type-Theoretic Functional Semantics
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
Yves Bertot, Venanzio Capretta, Kuntal Das Barman
184
Voted
ICLP
2011
Springer
14 years 7 months ago
Constraints in Non-Boolean Contexts
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
Leslie De Koninck, Sebastian Brand, Peter J. Stuck...
135
Voted
JVA
2006
IEEE
15 years 9 months ago
Describing and Researching of Learning Resources with Ontology Model
In this paper, we will introduce to describe learning resources by using ontology model based on metadata of learning standard as Sharable Content Object Reference Model (SCORM) a...
S. Niwattanakul, M. Eboueya, D. Lillis