Machine Learning in Ecosystem Informatics and Sustainability

Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel sensors for collecting data, algorithms for automated data cleaning, learning methods for building statistical models from data and for fitting mechanistic models to data, and algorithms for designing optimal policies for biosphere management. This presentation discusses these challenges and then describes recent work on the first two of these--new methods for automated arthropod population counting and linear Gaussian DBNs for automated cleaning of sensor network data.

[1]  Sheila A. McIlraith,et al.  Partition-based logical reasoning for first-order and propositional theories , 2005, Artif. Intell..

[2]  Antonio Criminisi,et al.  Object categorization by learned universal visual dictionary , 2005, Tenth IEEE International Conference on Computer Vision (ICCV'05) Volume 1.

[3]  Frédéric Jurie,et al.  Fast Discriminative Visual Codebooks using Randomized Clustering Forests , 2006, NIPS.

[4]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[5]  Sheila A. McIlraith,et al.  Partition-Based Logical Reasoning , 2000, KR.

[6]  Adnan Darwiche,et al.  Utilizing Knowledge-Base Semantics in Graph-Based Algorithms , 1996, AAAI/IAAI, Vol. 1.

[7]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1997, EuroCOLT.

[8]  James R. Slagle,et al.  Automatic Theorem Proving With Renamable and Semantic Resolution , 1967, JACM.

[9]  Thomas G. Dietterich,et al.  Dictionary-free categorization of very similar objects via stacked evidence trees , 2009, CVPR.

[10]  Thomas G. Dietterich,et al.  Automated Insect Identification through Concatenated Histograms of Local Appearance Features , 2007, WACV.

[11]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, Journal of Automated Reasoning.

[12]  Alvaro del Val.  A New Method for Consequence Finding and Compilation in Restricted Languages , 1999, AAAI/IAAI.

[13]  Rina Dechter,et al.  Resolution versus Search: Two Strategies for SAT , 2000, Journal of Automated Reasoning.

[14]  Eyal Amir,et al.  Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) , 2001, Electron. Notes Discret. Math..

[15]  SaltonGerard,et al.  Term-weighting approaches in automatic text retrieval , 1988 .

[16]  Thomas G. Dietterich,et al.  Learning visual dictionaries and decision lists for object recognition , 2008, 2008 19th International Conference on Pattern Recognition.

[17]  Cordelia Schmid,et al.  An Affine Invariant Interest Point Detector , 2002, ECCV.

[18]  A. Townsend Peterson,et al.  Novel methods improve prediction of species' distributions from occurrence data , 2006 .

[19]  Eyal Amir,et al.  Efficient Approximation for Triangulation of Minimum Treewidth , 2001, UAI.

[20]  Sheila A. McIlraith,et al.  Theorem Proving with Structured Theories , 2001, IJCAI.

[21]  David G. Lowe,et al.  Distinctive Image Features from Scale-Invariant Keypoints , 2004, International Journal of Computer Vision.

[22]  Leo Breiman,et al.  Random Forests , 2001, Machine Learning.

[23]  Thomas G. Dietterich,et al.  Principal Curvature-Based Region Detector for Object Recognition , 2007, 2007 IEEE Conference on Computer Vision and Pattern Recognition.

[24]  George Karypis,et al.  Multilevel Algorithms for Multi-Constraint Hypergraph Partitioning , 1999 .

[25]  Thomas G. Dietterich,et al.  Learning non-redundant codebooks for classifying complex objects , 2009, ICML '09.

[26]  KrauseAndreas,et al.  Near-Optimal Sensor Placements in Gaussian Processes: Theory, Efficient Algorithms and Empirical Studies , 2008 .

[27]  Richard Waldinger,et al.  A Guide to Snark , 2000 .

[28]  Frank Thomson Leighton,et al.  Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms , 1999, JACM.

[29]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[30]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[31]  Rong Jin,et al.  Unifying discriminative visual codebook generation with classifier training for object category recognition , 2008, 2008 IEEE Conference on Computer Vision and Pattern Recognition.

[32]  Paul R. Cohen,et al.  The DARPA High-Performance Knowledge Bases Project , 1998, AI Mag..

[33]  W. Reif,et al.  Theorem Proving in Large Theories , 1998 .

[34]  Rina Dechter,et al.  Tree-Clustering Schemes for Constraint-Processing , 1988, AAAI.

[35]  D. Rose.  Triangulated graphs and the elimination process , 1970 .

[36]  Jiri Matas,et al.  Weighted Sampling for Large-Scale Boosting , 2008, BMVC.

[37]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[38]  Pierre L. Tison,et al.  Generalization of Consensus Theory and Application to the Minimization of Boolean Functions , 1967, IEEE Trans. Electron. Comput..

[39]  Katsumi Inoue,et al.  Linear Resolution for Consequence Finding , 1992, Artif. Intell..

[40]  David Heckerman,et al.  Learning Gaussian Networks , 1994, UAI.

[41]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1995, EuroCOLT.

[42]  Thomas G. Dietterich,et al.  Automated insect identification through concatenated histograms of local appearance features: feature vector generation and region detection for deformable objects , 2007, 2007 IEEE Workshop on Applications of Computer Vision (WACV '07).

[43]  Thomas G. Dietterich,et al.  Dictionary-free categorization of very similar objects via stacked evidence trees , 2009, 2009 IEEE Conference on Computer Vision and Pattern Recognition.

[44]  Andreas Krause,et al.  Near-Optimal Sensor Placements in Gaussian Processes: Theory, Efficient Algorithms and Empirical Studies , 2008, J. Mach. Learn. Res..

[45]  Michael Brady,et al.  Saliency, Scale and Image Description , 2001, International Journal of Computer Vision.