Sciweavers

1438 search results - page 195 / 288
» Relational aspects as tracematches
Sort
View
IEEEARES
2007
IEEE
16 years 19 days ago
On Coercion-Resistant Electronic Elections with Linear Work
Remote electronic voting over the Internet is a promising concept to afford convenience to voters and to increase election turnouts. However, before employing electronic voting sy...
Stefan G. Weber, Roberto Araujo, Johannes Buchmann
ISBI
2007
IEEE
16 years 18 days ago
Perceptual Grouping of Membrane Signals in Cell-Based Assays
Membrane proteins organize themselves in a linear fashion where adjacent cells are attached together along the basal-lateral region. Their intensity distributions are often hetero...
Hang Chang, Kumari L. Andarawewa, Ju Han, Mary Hel...
AIME
2007
Springer
16 years 15 days ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
CC
2007
Springer
157views System Software» more  CC 2007»
16 years 15 days ago
New Algorithms for SIMD Alignment
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
Liza Fireman, Erez Petrank, Ayal Zaks
CCS
2007
ACM
16 years 15 days ago
Analysis of three multilevel security architectures
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
Timothy E. Levin, Cynthia E. Irvine, Clark Weissma...