4382 search results - page 279 / 877 » Query by Semantic Example |
137
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
140
click to vote
DEXAW
2007
IEEE
16 years 28 days 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...
174
click to vote
WECWIS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
182
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
149
click to vote
EJC
2007
15 years 8 months ago
2007
Linguistics has always been a field with a great diversity of schools and sub-schools. This has naturally led to the question of whether different grammatical analyses of the sam...