1567 search results - page 39 / 314 » A Mechanized Model of the Theory of Objects |
105
click to vote
MOBIMEDIA
2007
15 years 2 months ago
2007
Usually unequal error protection schemes mostly focus on protecting video data parameters with unequal rates or levels depending on their sensitivities to errors. This paper first...
136
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
116
click to vote
BVAI
2007
Springer
15 years 7 months ago
2007
Springer
We present a hierarchical system for object recognition that models neural mechanisms of visual processing identified in the mammalian ventral stream. The system is composed of ne...
125
click to vote
AFRIGRAPH
2007
ACM
15 years 5 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
109
click to vote
ICFEM
2010
Springer
14 years 12 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...