921 search results - page 54 / 185 » Expressing Computational Complexity in Constructive Type The... |
INFORMATIKTAGE
2008
13 years 9 months ago
2008
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
FUIN
2008
13 years 6 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
SOFTCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...