6308 search results - page 886 / 1262 » Modeling Urgency in Timed Systems |
189
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
The finite element method (FEM) is well suited for use in the non-rigid registration of magnetic resonance spectroscopy images (MRSI) with intraoperative ultrasound images of the p...
211
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
185
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
192
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
162
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...