16513 search results - page 3238 / 3303 » Numerical Analysis Methods |
137
Voted
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
One aspect in which retrieving named entities is different from retrieving documents is that the items to be retrieved – persons, locations, organizations – are only indirect...
145
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Inverted indexes using sequences of characters (n-grams) as terms provide an error-resilient and language-independent way to query for arbitrary substrings and perform approximate...
134
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
166
click to vote
ETVC
2008
15 years 4 months ago
2008
Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal ...
BCSHCI
2007
15 years 3 months ago
2007
In this paper, we report on our investigation into people’s ability to use the volume of their voice to control cursor movement to create drawings. Early analysis of the results...