370 search results - page 29 / 74 » Mathematical Symbol Indexing |
LICS
2012
IEEE
13 years 2 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
IPM
2006
14 years 9 months ago
2006
In this paper we present a theoretical model for understanding the performance of Latent Semantic Indexing (LSI) search and retrieval applications. Many models for understanding L...
100
click to vote
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
—OFDM is an attractive solution for the design of future wireless communications due to its robustness to dispersion in multipath environments. Additional diversity gains can be ...
72
Voted
AAAI
1996
14 years 11 months ago
1996
The goals of situated agents generally do not specify particular objects: they require only that some suitable object should be chosen and manipulated (e.g. any red block). Situat...
105
click to vote
ISM
2006
IEEE
15 years 3 months ago
2006
IEEE
1 In this paper a data driven analysis of FelderSilverman Index of Learning Styles (ILS) is given. Results, obtained by Multiple Correspondence Analysis and cross-validated by cor...