2748 search results - page 463 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
JAIR
2008
14 years 12 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...
122
click to vote
GECCO
2005
Springer
15 years 5 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...
108
click to vote
ICIP
2005
IEEE
16 years 1 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...
119
click to vote
BMCBI
2008
15 years 45 min ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...
FM
2005
Springer
15 years 5 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...