4693 search results - page 381 / 939 » Verifying Hybrid Systems |
175
Voted
DAGSTUHL
2008
15 years 8 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...
168
click to vote
AAAI
1994
15 years 8 months ago
1994
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
164
click to vote
AIEDU
2008
15 years 7 months ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...
147
click to vote
AMCS
2008
15 years 7 months ago
2008
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
148
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose the sensor network system using the microcomputer board that can connect to the Internet. This proposed system can acquire information from the sensor of the m...