2629 search results - page 235 / 526 » complex 2009 |
145
click to vote
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer
Prediction and alignment of RNA pseudoknot structures are NP-hard. Nevertheless, several efficient prediction algorithms by dynamic programming have been proposed for restricted cl...
154
click to vote
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Hierarchical clustering is a popular method for grouping together similar elements based on a distance measure between them. In many cases, annotation information for som...
157
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
164
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
158
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...