6300 search results - page 300 / 1260 » We have it easy, but do we have it right |
106
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two ...
116
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
130
Voted
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
The prediction of translation initiation sites (TISs) in eukaryotic mRNAs has been a challenging problem in computational molecular biology. In this paper, we present a new algori...
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
108
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
The development of high performance dense linear algebra (DLA) critically depends on highly optimized BLAS, and especially on the matrix multiplication routine (GEMM). This is espe...