1567 search results - page 22 / 314 » A Mechanized Model of the Theory of Objects |
CAD
2005
Springer
15 years 1 months ago
2005
Springer
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
122
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
130
click to vote
HIPC
2009
Springer
14 years 11 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
126
click to vote
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
110
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— We propose and analyze a novel decentralized mechanism that motivates otherwise non-cooperative stations to participate as relays in cooperative ARQ protocol. Cooperation incen...