Sciweavers

7335 search results - page 1319 / 1467
» Scene Based Reasoning
Sort
View
JAR
2010
95views more  JAR 2010»
14 years 10 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
140
Voted
JDCTA
2010
226views more  JDCTA 2010»
14 years 10 months ago
An Automatic-Pre-processing Method For Mammographic Images
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...
Ali Cherif Chaabani, Atef Boujelben, Adel Mahfoudh...
130
Voted
JMMA
2010
90views more  JMMA 2010»
14 years 10 months ago
A Unified Approach to Algorithms Generating Unrestricted and Restricted Integer Compositions and Integer Partitions
An original algorithm is presented that generates both restricted integer compositions and restricted integer partitions that can be constrained simultaneously by a) upper and low...
John Douglas Opdyke
MEDES
2010
ACM
14 years 10 months ago
Negotiating and delegating obligations
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
Meriam Ben-Ghorbel-Talbi, Frédéric C...
MIA
2010
128views more  MIA 2010»
14 years 10 months ago
Segmentation of image ensembles via latent atlases
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
Tammy Riklin-Raviv, Koen Van Leemput, Bjoern H. Me...
« Prev « First page 1319 / 1467 Last » Next »