1492 search results - page 215 / 299 » Testing Properties of Constraint-Graphs |
168
Voted
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
In the next five years, the number of processors in high-end systems for scientific computing is expected to rise to tens and even hundreds of thousands. For example, the IBM Blu...
170
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
155
click to vote
ICWE
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...
191
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
158
click to vote
ISMIR
2005
Springer
16 years 6 days ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...