19130 search results - page 3546 / 3826 » Modelling multi-path problems |
137
Voted
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
169
Voted
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
163
click to vote
NEUROSCIENCE
2001
Springer
15 years 8 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
130
click to vote
SAGA
2001
Springer
15 years 8 months ago
2001
Springer
Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to potential ap...
WADS
2001
Springer
15 years 8 months ago
2001
Springer
We explore the following problem: given a collection of creases on a piece of paper, each assigned a folding direction of mountain or valley, is there a flat folding by a sequenc...