12836 search results - page 2108 / 2568 » Generalization Methods in Bioinformatics |
187
Voted
TCS
2010
15 years 4 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
176
click to vote
TCS
2010
15 years 4 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
157
click to vote
TKDE
2010
15 years 4 months ago
2010
—Local classifiers are sometimes called lazy learners because they do not train a classifier until presented with a test sample. However, such methods are generally not complet...
189
click to vote
TVCG
2010
15 years 4 months ago
2010
—Crease surfaces are two-dimensional manifolds along which a scalar field assumes a local maximum (ridge) or a local minimum (valley) in a constrained space. Unlike isosurfaces, ...
234
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...