1636 search results - page 112 / 328 » Type-Theoretic Functional Semantics |
140
Voted
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
157
Voted
JNW
2007
15 years 3 months ago
2007
— Context-awareness is considered a key driving principle for the design and provisioning of adaptable pervasive services. Rightfully describing and interpreting context, however...
168
Voted
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
233
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We investigate the idea of finding semantically related search engine queries based on their temporal correlation; in other words, we infer that two queries are related if their p...
126
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The integration of four design attributes (componentcost, quality, function, and technology) streamlines product design by providing a multilateral view to designers that leads to...