Sciweavers

Share
4 search results - page 1 / 1
» The fertilized forests Decision Forest Library
Sort
View
MM
2015
ACM
12views Multimedia» more  MM 2015»
3 years 10 months ago
The fertilized forests Decision Forest Library
Christoph Lassner, Rainer Lienhart
ICADL
2003
Springer
117views Education» more  ICADL 2003»
9 years 7 months ago
Metadata++: A Scalable Hierarchical Framework for Digital Libraries
: 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...
Mathew Weaver, Lois M. L. Delcambre, Timothy Tolle
FROCOS
2007
Springer
9 years 6 months ago
Certification of Automated Termination Proofs
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...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...

Book
34534views
11 years 1 months ago
OpenCV - Open Source Computer Vision Reference Manual
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...
Intel
books