Sciweavers

2111 search results - page 148 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
124
Voted
SAS
1994
Springer
104views Formal Methods» more  SAS 1994»
15 years 8 months ago
Strictness and Totality Analysis
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
Kirsten Lackner Solberg
125
Voted
ICDAR
2003
IEEE
15 years 10 months ago
Off-line Character Recognition using On-line Character Writing Information
Recognition of variously deformed character patterns is a salient subject for off-line hand-printed character recognition. Sufficient recognition performance for practical use has...
Hiromitsu Nishimura, Takehiko Timikawa
HICSS
2006
IEEE
160views Biometrics» more  HICSS 2006»
15 years 10 months ago
Cyber Defense Competitions and Information Security Education: An Active Learning Solution for a Capstone Course
The content of information security curricula spans a wide array of topics. Because of this variety, a program needs to focus on some particular aspect and provide appropriate dep...
Art Conklin
151
Voted
IPM
2007
123views more  IPM 2007»
15 years 4 months ago
Using query logs to establish vocabularies in distributed information retrieval
Users of search engines express their needs as queries, typically consisting of a small number of terms. The resulting search engine query logs are valuable resources that can be ...
Milad Shokouhi, Justin Zobel, Seyed M. M. Tahaghog...
CIKM
2008
Springer
15 years 6 months ago
Efficient sampling of information in social networks
As online social networking emerges, there has been increased interest to utilize the underlying social structure as well as the available social information to improve search. In...
Gautam Das, Nick Koudas, Manos Papagelis, Sushruth...