2586 search results - page 202 / 518 » Automatic Abstraction for Congruences |
168
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
164
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
199
click to vote
DIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Attribute value taxonomies (AVTs) have been used to perform AVT-guided decision tree learning on partially or totally missing data. In many cases, user-supplied AVTs are ...
156
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
164
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...