7335 search results - page 1012 / 1467 » Scene Based Reasoning |
169
Voted
CSL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
173
Voted
DSOM
2004
Springer
16 years 7 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
156
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
179
click to vote
ESWS
2004
Springer
16 years 7 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
139
click to vote
ILP
2004
Springer
16 years 6 days ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...