1802 search results - page 149 / 361 » Model-based Theory Combination |
CIE
2010
Springer
14 years 2 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
AUSAI
2001
Springer
14 years 2 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
At present, the common operation mechanism of multiple classifier systems is the combination of classifier outputs. Recently, some researchers pointed out the potentialities of â€...
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...