76665 search results - page 15164 / 15333 » A proposed |
207
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
207
click to vote
DPHOTO
2009
15 years 5 months ago
2009
Digital camera sensors are sensitive to wavelengths ranging from the ultraviolet (200-400nm) to the near-infrared (700-100nm) bands. This range is, however, reduced because the ai...
238
click to vote
ECIR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
254
click to vote
ECRTS
2009
IEEE
15 years 5 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
232
click to vote
ECRTS
2009
IEEE
15 years 5 months ago
2009
IEEE
Blackouts in our daily life can be disastrous with enormous economic loss. Blackouts usually occur when appropriate corrective actions are not effectively taken for an initial con...