446 search results - page 69 / 90 » Modal Logics for Timed Control |
DELTA
2006
IEEE
14 years 20 days ago
2006
IEEE
The difficulties of designing nanoscale circuits include the need for regular circuit structure and controlling the timing requirements. A cellular array has highly regular struct...
CSL
1995
Springer
14 years 17 days ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
FLAIRS
2006
13 years 10 months ago
2006
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
In order to control the process of data mining and focus on the things of interest to us, many kinds of constraints have been added into the algorithms of data mining. However, di...
ARTS
1999
Springer
14 years 1 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...