2702 search results - page 259 / 541 » Practically Applicable Formal Methods |
131
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
121
click to vote
JBI
2008
15 years 2 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
144
Voted
WABI
2010
Springer
15 years 25 days ago
2010
Springer
The center string (or closest string) problem is a classical computer science problem with important applications in computational biology. Given k input strings and a distance thr...
IEEEMSP
2002
IEEE
15 years 7 months ago
2002
IEEE
—Matrix factorization methods are now widely used to recover 3D structure from 2D projections [1]. In practice, the observation matrix to be factored out has missing data, due to...
150
click to vote
PKDD
2010
Springer
15 years 26 days ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...