2540 search results - page 84 / 508 » Abstract Logics as Dialgebras |
176
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
211
click to vote
UCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose D-FLER, a distributed, general-purpose reasoning engine for WSN. D-FLER uses fuzzy logic for fusing individual and neighborhood observations, in order to produ...
184
click to vote
CLEF
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
213
click to vote
SEMWEB
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
211
click to vote
CICLING
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...