553 search results - page 19 / 111 » Design Principles for a System to Teach Problem Solving by M... |
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
ARC
2010
Springer
13 years 7 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
ICANN
2005
Springer
14 years 1 months ago
2005
Springer
For this special session of EU projects in the area of NeuroIT, we will review the progress of the MirrorBot project with special emphasis on its relation to reinforcement learning...
SSPR
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, a statistical clustering model and algorithm have been discussed. Finding the optimal solution to clustering problem is transformed into simulating the equilibrium ...
ISLPED
2010
ACM
13 years 7 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...