652 search results - page 52 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
83
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...
AAAI
2006
14 years 11 months ago
2006
We describe a recommender system which uses a unique combination of content-based and collaborative methods to suggest items of interest to users, and also to learn and exploit it...
FORTE
2004
14 years 11 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
130
click to vote
WOSP
1998
ACM
15 years 2 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...