3235 search results - page 315 / 647 » Partial Redundant Modeling |
137
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
158
Voted
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
129
click to vote
P2P
2003
IEEE
15 years 10 months ago
2003
IEEE
— Corporate IT as well as individuals show increasing interest in reliable outsourcing of storage infrastructure. Decentralized solutions with their resilience against partial ou...
136
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
143
Voted
CVPR
1999
IEEE
15 years 9 months ago
1999
IEEE
We introduce an approach to feature-based object recognition, using maximum a posteriori (MAP) estimation under a Markov random field (MRF) model. This approach provides an effici...