2695 search results - page 264 / 539 » The Complexity of Forecast Testing |
117
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
122
click to vote
COCO
2003
Springer
15 years 9 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
142
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
152
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
140
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
Traffic sign recognition is a difficult task if we aim at detecting and recognizing signs in images captured from unfavorable environments. Complex background, weather, shadow, and...