Sciweavers

12836 search results - page 367 / 2568
» Generalization Methods in Bioinformatics
Sort
View
MICCAI
2005
Springer
16 years 7 months ago
Cross Validation of Experts Versus Registration Methods for Target Localization in Deep Brain Stimulation
In the last five years, Deep Brain Stimulation (DBS) has become the most popular and effective surgical technique for the treatment of Parkinson's disease (PD). The Subthalami...
Claudio Pollo, F. Javier Sánchez Castro, Je...
WWW
2007
ACM
16 years 6 months ago
Construction by linking: the linkbase method
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...
Johannes Meinecke, Frederic Majer, Martin Gaedke
STOC
2007
ACM
132views Algorithms» more  STOC 2007»
16 years 6 months ago
On the convergence of Newton's method for monotone systems of polynomial equations
Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomial with p...
Stefan Kiefer, Michael Luttenberger, Javier Esparz...
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
16 years 3 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
CSCW
2010
ACM
16 years 3 months ago
API peer reviews: a method for evaluating usability of application programming interfaces
API usability tests in the lab are time and resource intensive, thus allowing a relatively small percentage of the API namespace to be evaluated. We describe a group-based usabili...
Umer Farooq, Dieter Zirkler