469 search results - page 14 / 94 » Putting curry-howard to work |
DEXAW
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we give an overview of methods to find representations of ontology defined concepts in texts. We distinguish two approaches: lexicon-based methods and approaches u...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present a joint source-channel decoding technique based on exact MAP estimation for data encoded by CABAC (Context-based Adaptive Binary Arithmetic Coding) in st...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
ISI
2005
Springer
14 years 1 months ago
2005
Springer
Data distortion is a critical component to preserve privacy in security-related data mining applications, such as in data miningbased terrorist analysis systems. We propose a spars...
GSEM
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing custo...