Sciweavers

41 search results - page 4 / 9
» Exploring New Languages with HAIRCUT at CLEF 2005
Sort
View
PPDP
2005
Springer
14 years 14 days ago
A new calculus of contexts
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
Murdoch Gabbay
ECIR
2004
Springer
13 years 8 months ago
Improving Retrieval Effectiveness by Reranking Documents Based on Controlled Vocabulary
Abstract. There is a common availability of classification terms in online text collections and digital libraries, such as manually assigned keywords or key-phrases from a controll...
Jaap Kamps
FCT
2005
Springer
14 years 15 days ago
A New Linearizing Restriction in the Pattern Matching Problem
In the pattern matching problem, there can be a quadratic number of matching substrings in the size of a given text. The linearizing restriction finds, at most, a linear number of...
Yo-Sub Han, Derick Wood
ASPDAC
2005
ACM
102views Hardware» more  ASPDAC 2005»
13 years 9 months ago
A framework for automated and optimized ASIP implementation supporting multiple hardware description languages
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
Oliver Schliebusch, Anupam Chattopadhyay, David Ka...
ICALT
2005
IEEE
14 years 18 days ago
English Class on the Air: Mobile Language Learning with Cell Phones
Busy, active adults often do not have the time or ability to study in traditional, face-to-face classroom settings. In addition, adult learners may need access to content or exper...
Timothy G. Collins