2102 search results - page 210 / 421 » A Relational Model for Object-Oriented Designs |
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
153
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
201
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We propose a generative model that codes the geometry and appearance of generic visual object categories as a loose hierarchy of parts, with probabilistic spatial relations linkin...
165
click to vote
FLAIRS
2000
15 years 7 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
172
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...