2651 search results - page 432 / 531 » Experiences with the Use of a Configuration Language |
165
click to vote
CLEF
2007
Springer
16 years 17 days ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
157
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
197
click to vote
CCGRID
2005
IEEE
16 years 13 hour ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
180
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
277
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...