2702 search results - page 267 / 541 » Practically Applicable Formal Methods |
121
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
There has been a significant interest in the recovery of low-rank matrices from an incomplete of measurements, due to both theoretical and practical developments demonstrating th...
107
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
128
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
180
click to vote
GCSE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
139
Voted
AIME
2007
Springer
15 years 4 months ago
2007
Springer
The task addressed and the method proposed in this paper aim at improved understanding of differences between similar diseases. In particular we address the problem of distinguish...