3191 search results - page 109 / 639 » Qualitative Modeling in Education |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
— We proposed a new search heuristic using the scuba diving metaphor. This approach is based on the concept of evolvability and tends to exploit neutrality in fitness landscape....
CORR
2004
Springer
13 years 10 months ago
2004
Springer
For many tracking and surveillance applications, background subtraction provides an effective means of segmenting objects moving in front of a static background. Researchers have ...
CORR
2009
Springer
13 years 8 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
CORR
2004
Springer
13 years 10 months ago
2004
Springer
The notion of limit condition that we propose is a generalization of the delay condition [1], [2], including the models of the delay circuits, of the C elements of Muller and of t...