Sciweavers

16616 search results - page 445 / 3324
» Extending Extended Vacuity
Sort
View
ISBI
2004
IEEE
16 years 8 months ago
A Template-Propagation Method for Segmentation of Filamentous Structures in Electron Tomograms
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...
Sriram Subramaniam, Peijun Zhang, David Germain, T...
ISBI
2006
IEEE
16 years 8 months ago
A flexible framework for Web interfaces to image databases: supporting user-defined ontologies and links to external databases
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
Josiah Johnston, Arpun Nagaraja, Harry Hochheiser,...
ESORICS
2009
Springer
16 years 8 months ago
Type-Based Analysis of PIN Processing APIs
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
Matteo Centenaro, Riccardo Focardi, Flaminia L. Lu...
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
16 years 8 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
CHI
2005
ACM
16 years 8 months ago
Collective efficacy as a measure of community
As human-computer interaction increasingly focuses on mediated interactions among groups of individuals, there is a need to develop techniques for measurement and analysis of grou...
John M. Carroll, Mary Beth Rosson, Jingying Zhou