5639 search results - page 511 / 1128 » Timed Abstract Non-interference |
143
Voted
CMMR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. NEEDS REWRITE We present an audio browsing and editing paradigm that incorporates the “focus plus context” visual interaction metaphor. A traditional waveform is disp...
152
click to vote
COCOA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a branch-and-bound (bb) algorithm for the multiple sequence alignment problem (MSA), one of the most important problems in computational biology. The upper bou...
152
click to vote
COCOA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...
121
Voted
CP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
121
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...