4382 search results - page 177 / 877 » Query by Semantic Example |
117
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
132
Voted
COSIT
2003
Springer
15 years 8 months ago
2003
Springer
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...
118
Voted
LOGCOM
2010
15 years 1 months ago
2010
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
125
Voted
CLEF
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we present the PRODICOS query answering system which was developed by the TALN team from the LINA institute. We present the various modules constituting our system a...
121
Voted
OWLED
2007
15 years 4 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...