7296 search results - page 345 / 1460 » informs 2010 |
169
Voted
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We describe the formalisation of the normal forms of context-free grammars (CFGs) using the HOL4 theorem prover. These straightforward pen and paper proofs easily understood from t...
230
Voted
ERCIMDL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract Searching for entities is an emerging task in Information Retrieval for which the goal is finding well defined entities instead of documents matching the query terms. In t...
189
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
Eye gaze can be used to interact with high-density information presented on large displays. We have built a system employing off-the-shelf hardware components and open-source gaze...
162
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The problem of guessing a random string is revisited and some prior results on guessing exponents are re-derived using the theory of large deviations. It is shown that if the seque...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of document...