2748 search results - page 463 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
119
Voted
JAIR
2008
15 years 3 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
154
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Several ways of using singular value decomposition (SVD), a linear algebra technique typically used for information retrieval, to decompose problems into subproblems are investiga...
139
Voted
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...
157
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...
128
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...