1636 search results - page 257 / 328 » Type-Theoretic Functional Semantics |
ER
2007
Springer
15 years 6 months ago
2007
Springer
It is increasingly recognised that user preferences should be addressed in many advanced database applications, such as adaptive searching in databases. However, the fundamental is...
101
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
115
click to vote
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
GI
2005
Springer
15 years 5 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
CMMR
2009
Springer
15 years 4 months ago
2009
Springer
A persistent concern in the field of auditory display design has been how to effectively use environmental sounds, which are naturally occurring familiar non-speech, non-musical s...