2008
2007
-
Parameterizing Random Test Data According to Equivalence Classes.
C. Murphy, G. Kaiser, M. Arias. Second International Workshop on Random Testing 2007, Nov 2007.
-
Real-time Ranking with Concept Drift Using Expert Advice.
H. Becker, M. Arias. KDD 2007, Aug 2007.
-
An Approach to Software Testing of Machine Learning Applications.
C. Murphy, G. Kaiser, M. Arias. SEKE 2007, Jul 2007.
- Learning Horn Expressions with LogAn-H. M. Arias, R. Khardon, J. Maloberti. Journal of Machine Learning Research, Vol. 8, Mar 2007, pp. 549-587.
- Real-time Ranking of Electrical Feeders using Expert Advice. H. Becker, M. Arias. European Workshop on Data Stream Analysis, Mar 2007, Caserta, Italy.
2006
- An Online Learning System for the Prediction of Electricity Distribution Feeder Failures. H. Becker, M. Arias.
- New York Academy of Sciences Machine Learning Symposium, Oct 2006. [abstract, 2-min presentation]
- Workshop in Machine Learning, Grace Hopper Celebration of Women in Computing, Oct 2006. [abstract, poster]
- Compact Routing with Name Idependence. M. Arias, L. Cowen, K. Laing, R. Rajaraman, O. Taka. SIAM Journal on Discrete Mathematics, Vol. 20 (3), Sep 2006, pp. 705-726.
- A Framework for Quality Assurance of Machine Learning Applications. C. Murphy, G. Kaiser, M. Arias. Tech Report, CUCS-034-06, Computer Science, Columbia University. Sep 2006.
- Learning regulatory programs that accurately predict differential expression with MEDUSA. A. Kundaje, D. Quigley, S. Lianoglou, X. Li, M. Arias, C. Wiggins, L. Zhang, C. Leslie. DIMACS Workshop on Dialogue on Reverse Engineering Assessment and Methods (DREAM), Sep 2006.
- Complexity Parameters for First Order Classes. M. Arias, R. Khardon. Machine Learning Journal, Vol. 64 (1-3), Sep 2006, pp. 121-144.
- Predicting Electricity Distribution Feeder Failures Using Machine Learning Susceptibility Analysis. P. Gross, A. Boulanger, M. Arias, D. L. Waltz, P. M. Long, C. Lawson, R. Anderson, M. Koenig, M. Mastrocinque, W. Fairechio, J. A. Johnson, S. Lee, F. Doherty, A. Kressner. AAAI 2006, Jul 2006.
- Polynomial Certificates for Propositional Classes. M. Arias, A. Feigelson, R. Khardon, R. Servedio. Information and Computation, Vol. 204 (5), May 2006, pp. 816-834. Attention: published version contains an error in the ordering of the references; corrected un-official version here.
- The Subsumption Lattice and Query Learning. R. Khardon, M. Arias. Journal of Computer and System Sciences, Vol. 72 (1), Feb 2006, pp. 72-94.
2004
2003
- Complexity Parameters for First Order Classes. M. Arias, R. Khardon. ILP 2003, Oct 2003.
- Polynomial Certificates for Propositional Classes. M. Arias, R. Khardon, R. Servedio. COLT 2003, Aug 2003.
- Compact Roundtrip Routing with Topology-Independent Node Names. M. Arias, L. Cowen, K. Laing. PODC 2003, Jul 2003.
- Compact Routing with Name Idependence. M. Arias, L. Cowen, K. Laing, R. Rajaraman, O. Taka. SPAA 2003, Jun 2003.
2002
2001
- Learning Closed Horn Expressions. M. Arias, R. Khardon.
Workshop on Logic and Learning, IEEE Symposium on Logic in Computer Science (LICS), June 2001.
2000
- A New Algorithm for Learning Range Restricted Horn Expressions. M. Arias, R. Khardon. ILP 2000, Jul 2000.
- Learning Inequated Range Restricted Horn Expressions. M. Arias, R. Khardon. Research Report, EDI-INF-RR-0011, Division of Informatics, University of Edinburgh, Mar 2000.
- A New Algorithm for Learning Range Restricted Horn Expressions. M. Arias, R. Khardon. Research Report, EDI-INF-RR-0010, Division of Informatics, University of Edinburgh, Mar 2000.