Sciweavers

5615 search results - page 278 / 1123
» On the Computational Capabilities of Several Models
Sort
View
LSSC
2007
Springer
16 years 1 months ago
An Ant-Based Model for Multiple Sequence Alignment
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
Frédéric Guinand, Yoann Pigné
PPAM
2007
Springer
16 years 1 months ago
A Container-Iterator Parallel Programming Model
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...
Gerhard W. Zumbusch
DSN
2000
IEEE
15 years 11 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
BMVC
2001
15 years 9 months ago
An Information Theoretic Approach to Statistical Shape Modelling
Statistical shape models have been used widely as a basis for segmenting and interpreting images. A major drawback of the approach is the need to establish a set of dense correspo...
Rhodri H. Davies, Timothy F. Cootes, Carole J. Twi...
TCS
2010
15 years 2 months ago
A comparison of semantic models for noninterference
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
Ron van der Meyden, Chenyi Zhang