1097 search results - page 110 / 220 » Sequential Object Monitors |
112
click to vote
ENTCS
2006
15 years 3 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
106
click to vote
IJON
2002
15 years 3 months ago
2002
On the basis of a computational and neurodynamical model, we investigate a cognitive impairment in stroke patients termed visual neglect. The model is based on the "biased co...
140
click to vote
PRESENCE
1998
15 years 3 months ago
1998
In order for a virtual environment to be effective as a training tool, it is not enough to concentrate on the fidelity of the renderings and the accuracy of the simulated behavior...
158
Voted
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
160
Voted
SIAMJO
2002
15 years 3 months ago
2002
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...