543 search results - page 85 / 109 » Overview of WebCLEF 2007 |
MKM
2007
Springer
14 years 1 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
OTM
2007
Springer
14 years 1 months ago
2007
Springer
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...
TBILLC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, I give an overview of an ongoing project which aims at building a full-scale computational grammar for Georgian in the Lexical Functional Grammar framework and try t...