950 search results - page 112 / 190 » Machine semantics |
166
click to vote
CVIU
2008
15 years 4 months ago
2008
This paper presents a search engine architecture, RETIN, aiming at retrieving complex categories in large image databases. For indexing, a scheme based on a two-step quantization ...
139
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
The Semantic Web is gaining immense popularity-and with it, the Resource Description Framework (RDF) broadly used to model Semantic Web content. However, access control on RDF sto...
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
144
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
We describe a class of causal, discrete latent variable models called Multiple Multiplicative Factor models (MMFs). A data vector is represented in the latent space as a vector of...
127
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...