Sciweavers

373 search results - page 41 / 75
» A Better Fit - Characterising the Stakeholders
Sort
View
TSE
1998
129views more  TSE 1998»
14 years 11 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
BMCBI
2010
110views more  BMCBI 2010»
14 years 12 months ago
MultiRTA: A simple yet reliable method for predicting peptide binding affinities for multiple class II MHC allotypes
Background: The binding of peptide fragments of antigens to class II MHC is a crucial step in initiating a helper T cell immune response. The identification of such peptide epitop...
Andrew J. Bordner, Hans D. Mittelmann
SP
2008
IEEE
134views Security Privacy» more  SP 2008»
14 years 11 months ago
Discover gene specific local co-regulations from time-course gene expression data
Discovering gene co-regulatory relationships is one of most important research in DNA microarray data analysis. The problem of gene specific co-regulation discovery is to, for a p...
Ji Zhang, Qigang Gao, Hai H. Wang
BIRTHDAY
2010
Springer
14 years 8 months ago
Quantitative Simulation Games
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...
ECCV
2006
Springer
16 years 1 months ago
The Alignment Between 3-D Data and Articulated Shapes with Bending Surfaces
In this paper we address the problem of aligning 3-D data with articulated shapes. This problem resides at the core of many motion tracking methods with applications in human motio...
Guillaume Dewaele, Frederic Devernay, Radu Horaud,...