1567 search results - page 58 / 314 » A Mechanized Model of the Theory of Objects |
144
click to vote
DBSEC
1996
15 years 2 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
102
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, we propose a new object detection method that does not need a learning mechanism. Given a hand-drawn model as a query, we can detect and locate objects that are sim...
123
Voted
PODC
1999
ACM
15 years 5 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...
141
click to vote
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...