3229 search results - page 503 / 646 » The Theory of Timed Automata |
198
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
178
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
160
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
171
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
It is typical for the EA community that theory follows experiments. Most theoretical approaches use some model of the considered evolutionary algorithm (EA) but there is also some ...
139
click to vote
ARITH
2003
IEEE
15 years 12 months ago
2003
IEEE
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...