9405 search results - page 470 / 1881 » Computing a Model of Set Theory |
204
click to vote
SIBGRAPI
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
196
click to vote
DSN
2002
IEEE
16 years 17 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
226
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
188
click to vote
QUESTA
1998
15 years 7 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
205
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...