6829 search results - page 402 / 1366 » Quantitative Generalizations of Languages |
284
click to vote
Publication
Humans can verify unknown parent-offspring and sibling pairs over unrelated subject pairs. A computational scheme to accomplish the task robustly, in the presence of challenges due...
344
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—In this work we develop a distributed boundary detection algorithm, dubbed Coconut, for 3D wireless sensor networks. It first constructs a tetrahedral structure to delineate th...
165
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
179
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
177
click to vote
SIGIR
2006
ACM
16 years 24 days ago
2006
ACM
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...