12841 search results - page 58 / 2569 » PL-detective: experiences and results |
ECBS
2004
IEEE
15 years 4 months ago
2004
IEEE
Metadata management is one of the key concepts of distributed interoperable systems. This paper compares two approaches to building a metadata repository for component-based distr...
107
click to vote
ISMVL
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
107
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
103
Voted
CLEF
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we present and analyze the results of the application of a text summarization system
CLEF
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. For the 2008 participation at GeoCLEF, we focused on improving the extraction of geographic signatures from documents and optimising their use for GIR. The results show t...