3082 search results - page 424 / 617 » Deviation Analysis: A New Use of Model Checking |
157
click to vote
NIPS
2008
15 years 7 months ago
2008
Many machine learning algorithms can be formulated in the framework of statistical independence such as the Hilbert Schmidt Independence Criterion. In this paper, we extend this c...
175
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
157
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
176
click to vote
WSC
2000
15 years 7 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...
154
click to vote
COR
2008
15 years 5 months ago
2008
This paper deals dynamically with the question of how recruitment to terror organizations is influenced by counter-terror operations. This is done within a optimal control model, ...