2291 search results - page 388 / 459 » Representational Reasoning and Verification |
147
Voted
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
138
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
123
Voted
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
147
Voted
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
136
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Geocomputation has a long tradition in dealing with fuzzyness in different contexts, most notably in the challenges created by the representation of geographic space in digital for...