3 search results - page 1 / 1 » The fertilized forests Decision Forest Library |
ICADL
2003
Springer
13 years 9 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
FROCOS
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
161
click to vote
Book
OpenCV is a C/C++ computer vision library originally developed by Intel. It is free for commercial and research use under a BSD license. The library is cross-platform.
It is highl...