COLT '95 Proceedings of the eighth annual conference on Computational learning theory
A simple algorithm for learning O(log n)-term DNF
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
A 1996 snapshot of computational learning theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Learning Qualitative Models of Dynamic Systems
Machine Learning - special issue on inductive logic programming
Cryptographic verification of test coverage claims
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Sample complexity of model-based search
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Efficient noise-tolerant learning from statistical queries
Journal of the ACM (JACM)
Learning to resolve natural language ambiguities: a unified approach
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Computational sample complexity and attribute-efficient learning
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Reinforcement learning and mistake bounded algorithms
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
On PAC learning using Winnow, Perceptron, and a Perceptron-like algorithm
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Extension of the PAC framework to finite and countable Markov chains
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Using Decision Trees to Construct a Practical Parser
Machine Learning - Special issue on natural language learning
Machine Learning
intelligence
RECOMB '00 Proceedings of the fourth annual international conference on Computational molecular biology
Cryptographic Verification of Test Coverage Claims
IEEE Transactions on Software Engineering
Learning functions represented as multiplicity automata
Journal of the ACM (JACM)
Machine Learning
Computational Economics - Computational Studies at Stanford
A sequential sampling algorithm for a general class of utility criteria
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
Effects of compression on language evolution
Artificial Life
Sampling algorithms: lower bounds and applications
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Probabilistic inductive inference: a survey
Theoretical Computer Science
SIGACT News complexity theory column 32
ACM SIGACT News
IEEE Transactions on Pattern Analysis and Machine Intelligence - Graph Algorithms and Computer Vision
Learning and decision-making in the framework of fuzzy lattices
New learning paradigms in soft computing
Learning fixed-dimension linear thresholds from fragmented data
Information and Computation
The evolution of stochastic regular motifs for protein sequences
New Generation Computing
Using computational learning strategies as a tool for combinatorial optimization
Annals of Mathematics and Artificial Intelligence
Remarks on computational learning theory
Annals of Mathematics and Artificial Intelligence
Adaptive Sampling Methods for Scaling Up Knowledge Discovery Algorithms
Data Mining and Knowledge Discovery
A Generalized Model for Predictive Data Mining
Information Systems Frontiers
Probabilistic ’generalization‘ of functions and dimension-based uniform convergence results
Statistics and Computing
Learning Regular Languages from Simple Positive Examples
Machine Learning
Boosting Methods for Regression
Machine Learning
Predicting the Expected Behavior of Agents that Learn About Agents: The CLRI Framework
Autonomous Agents and Multi-Agent Systems
A geometric approach to leveraging weak learners
Theoretical Computer Science
A linear lower bound on the unbounded error probabilistic communication complexity
Journal of Computer and System Sciences - Complexity 2001
ECAL '99 Proceedings of the 5th European Conference on Advances in Artificial Life
Learning to Recognize 3D Objects with SNoW
ECCV '00 Proceedings of the 6th European Conference on Computer Vision-Part I
Phase Transitions and Stochastic Local Search in k-Term DNF Learning
ECML '02 Proceedings of the 13th European Conference on Machine Learning
ECML '02 Proceedings of the 13th European Conference on Machine Learning
Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Consistent Identification in the Limit of Rigid Grammars from Strings Is NP-hard
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
On the Learnability of Hidden Markov Models
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
The learning power of belief revision
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Mathematical Modelling of Generalization
WIRN VIETRI 2002 Proceedings of the 13th Italian Workshop on Neural Nets-Revised Papers
From Computational Learning Theory to Discovery Science
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Generalized Graph Colorability and Compressibility of Boolean Formulae
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
Learnability and Definability in Trees and Similar Structures
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Behavior-Based Model Construction
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Algebraic Characterizations of Small Classes of Boolean Functions
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Learning from Approximate Data
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Inferring a Union of Halfspaces from Examples
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Distribution-Dependent Vapnik-Chervonenkis Bounds
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Coherent Concepts, Robust Learning
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Finding a One-Variable Pattern from Incomplete Data
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Real Polynomials with a Turing Machine
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Faster Near-Optimal Reinforcement Learning: Adding Adaptiveness to the E3 Algorithm
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Learning from Positive and Unlabeled Examples
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Sharper Bounds for the Hardness of Prototype and Feature Selection
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
DS '02 Proceedings of the 5th International Conference on Discovery Science
Efficient Data Mining from Large Text Databases
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Solving Computational Learning Problems of Boolean Formulae on DNA Computers
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
The Consistency Dimension, Compactness, and Query Learning
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Practical Algorithms for On-line Sampling
DS '98 Proceedings of the First International Conference on Discovery Science
Adaptive Sampling Methods for Scaling Up Knowledge Discovery Algorithms
DS '99 Proceedings of the Second International Conference on Discovery Science
Worst-Case Analysis of Rule Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Learning Regular Sets with an Incomplete Membership Oracle
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
Estimating the Optimal Margins of Embeddings in Euclidean Half Spaces
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
An Architecture of a Web-Based Collaborative Image Search Engine
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
PAC Learning from Positive Statistical Queries
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Predicting rare classes: can boosting make any weak learner strong?
Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
A theoretical framework for learning from a pool of disparate data sources
Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
Handbook of data mining and knowledge discovery
Boosting in the presence of noise
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
New degree bounds for polynomial threshold functions
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Learning from rounded-off data
Information and Computation
PAC learning of probability distributions over a discrete domain
Theoretical Computer Science
Diffusion without false rumors: on propagating updates in a Byzantine environment
Theoretical Computer Science
On Diffusing Updates in a Byzantine Environment
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
DNA-based algorithms for learning Boolean formulae
Natural Computing: an international journal
An introduction to boosting and leveraging
Advanced lectures on machine learning
Reduced error pruning of branching programs cannot be approximated to within a logarithmic factor
Information Processing Letters
Programming by Demonstration Using Version Space Algebra
Machine Learning
MEGA---the maximizing expected generalization algorithm for learning complex query concepts
ACM Transactions on Information Systems (TOIS)
The Journal of Machine Learning Research
The Journal of Machine Learning Research
Finding the most interesting patterns in a database quickly by using sequential sampling
The Journal of Machine Learning Research
The Journal of Machine Learning Research
Relational learning as search in a critical region
The Journal of Machine Learning Research
Estimating network size from local information
Information Processing Letters
Comparing Bayes model averaging and stacking when model approximation error cannot be ignored
The Journal of Machine Learning Research
Greedy algorithms for classification—consistency, convergence rates, and adaptivity
The Journal of Machine Learning Research
Functional Validation in Grid Computing
Autonomous Agents and Multi-Agent Systems
Counting extensional differences in BC-learning
Information and Computation
A Case Study of Applying Boosting Naive Bayes to Claim Fraud Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Applying learning algorithms to preference elicitation
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
Boosting grammatical inference with confidence oracles
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Online learning of conditionally I.I.D. data
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Towards tight bounds for rule learning
ICML '04 Proceedings of the twenty-first international conference on Machine learning
C4.5 competence map: a phase transition-inspired approach
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Version spaces and the consistency problem
Artificial Intelligence
FloatBoost Learning and Statistical Face Detection
IEEE Transactions on Pattern Analysis and Machine Intelligence
Some connections between learning and optimization
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Learning Local Transductions Is Hard
Journal of Logic, Language and Information
Can user models be learned at all? Inherent problems in machine learning for user modelling
The Knowledge Engineering Review
Testing monotone high-dimensional distributions
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Probabilistic Finite-State Machines-Part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
Encyclopedia of Computer Science
Learning to verify branching time properties
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Query-efficient algorithms for polynomial interpolation over composites
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Dependency of context-based word sense disambiguation from representation and domain complexity
NAACL-ANLP-SSCNLPS '00 Proceedings of the 2000 NAACL-ANLP Workshop on Syntactic and semantic complexity in natural language processing systems - Volume 1
Improved Bounds on Quantum Learning Algorithms
Quantum Information Processing
Random Embedding Machines for Pattern Recognition
Neural Computation
Learning from revealed preference
EC '06 Proceedings of the 7th ACM conference on Electronic commerce
On the Probabilistic Foundations of Probabilistic Roadmap Planning
International Journal of Robotics Research
Theoretical Computer Science
ICML '06 Proceedings of the 23rd international conference on Machine learning
ICML '06 Proceedings of the 23rd international conference on Machine learning
Complexity parameters for first order classes
Machine Learning
Experiments with AdaBoost.RT, an improved boosting scheme for regression
Neural Computation
Simulation-Based Functional Test Generation for Embedded Processors
IEEE Transactions on Computers
A Real generalization of discrete AdaBoost
Artificial Intelligence
A Boolean measure of similarity
Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Guest editorial: Learning theory
Machine Learning
Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation
International Journal of Approximate Reasoning
Self-improved gaps almost everywhere for the agnostic approximation of monomials
Theoretical Computer Science
Toward Attribute Efficient Learning of Decision Lists and Parities
The Journal of Machine Learning Research
Pattern Recognition for Conditionally Independent Data
The Journal of Machine Learning Research
A Probabilistic Analysis of EM for Mixtures of Separated, Spherical Gaussians
The Journal of Machine Learning Research
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Learning to verify branching time properties
Formal Methods in System Design
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces
Discrete Event Dynamic Systems
A general comparison of language learning from examples and from queries
Theoretical Computer Science
The complexity of properly learning simple concept classes
Journal of Computer and System Sciences
A local boosting algorithm for solving classification problems
Computational Statistics & Data Analysis
An experimental evaluation of simplicity in rule learning
Artificial Intelligence
Margin-based first-order rule learning
Machine Learning
An efficient modified boosting method for solving classification problems
Journal of Computational and Applied Mathematics
Aspects of discrete mathematics and probability in the theory of machine learning
Discrete Applied Mathematics
Learning indexed families of recursive languages from positive data: A survey
Theoretical Computer Science
Evolvability from learning algorithms
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Automatic symbolic compositional verification by learning assumptions
Formal Methods in System Design
A theory of learning with similarity functions
Machine Learning
Computational Complexity
A modular framework for iterative combinatorial auctions
ACM SIGecom Exchanges
Kernel methods for learning languages
Theoretical Computer Science
ILP Through Propositionalization and Stochastic k-Term DNF Learning
Inductive Logic Programming
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Feasible Iteration of Feasible Learning Functionals
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Parameterized Learnability of k-Juntas and Related Problems
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Modular System Verification by Inference, Testing and Reachability Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
APPROX '08 / RANDOM '08 Proceedings of the 11th international workshop, APPROX 2008, and 12th international workshop, RANDOM 2008 on Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
A Model to Study Phase Transition and Plateaus in Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
ALT '08 Proceedings of the 19th international conference on Algorithmic Learning Theory
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Polynomials that Sign Represent Parity and Descartes' Rule of Signs
Computational Complexity
On generating near-optimal tableaux for conditional functional dependencies
Proceedings of the VLDB Endowment
Distribution-Free Testing Lower Bounds for Basic Boolean Functions
APPROX '07/RANDOM '07 Proceedings of the 10th International Workshop on Approximation and the 11th International Workshop on Randomization, and Combinatorial Optimization. Algorithms and Techniques
An analysis of model-based Interval Estimation for Markov Decision Processes
Journal of Computer and System Sciences
Reducing mechanism design to algorithm design via machine learning
Journal of Computer and System Sciences
Journal of the ACM (JACM)
Journal of Automata, Languages and Combinatorics
Cryptographic hardness for learning intersections of halfspaces
Journal of Computer and System Sciences
Proceedings of the Second ACM International Conference on Web Search and Data Mining
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Using a similarity measure for credible classification
Discrete Applied Mathematics
Separating models of learning with faulty teachers
Theoretical Computer Science
Ensemble of classifiers for detecting network intrusion
Proceedings of the International Conference on Advances in Computing, Communication and Control
Model Checking Driven Heuristic Search for Correct Programs
Model Checking and Artificial Intelligence
Intrinsic Geometries in Learning
Emerging Trends in Visual Computing
Face detection using simplified Gabor features and hierarchical regions in a cascade of classifiers
Pattern Recognition Letters
Searching for interacting features in subset selection
Intelligent Data Analysis
Consensus group stable feature selection
Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining
A Real generalization of discrete AdaBoost
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
ODDboost: Incorporating Posterior Estimates into AdaBoost
MLDM '09 Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition
Baum's Algorithm Learns Intersections of Halfspaces with Respect to Log-Concave Distributions
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Empirical Study of Relational Learning Algorithms in the Phase Transition Framework
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I
Dependency of context-based word sense disambiguation from representation and domain complexity
NLPComplexity '00 NAACL-ANLP 2000 Workshop: Syntactic and Semantic Complexity in Natural Language Processing Systems
Efficiency versus convergence of Boolean kernels for on-line learning algorithms
Journal of Artificial Intelligence Research
A formal framework for speedup learning from problems and solutions
Journal of Artificial Intelligence Research
Process-oriented estimation of generalization error
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A brief introduction to boosting
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Learning from partial observations
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Parameterized learnability of juntas
Theoretical Computer Science
Performance and efficiency of memetic pittsburgh learning classifier systems
Evolutionary Computation
Efficient Markov network structure discovery using independence tests
Journal of Artificial Intelligence Research
Strategyproof classification with shared inputs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Ceteris Paribus preference elicitation with predictive guarantees
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Boosting Classifiers Built from Different Subsets of Features
Fundamenta Informaticae
Customized learning algorithms for episodic tasks withacyclic state spaces
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Some connections between learning and optimization
Discrete Applied Mathematics
Grammatical inference and computational linguistics
CLAGI '09 Proceedings of the EACL 2009 Workshop on Computational Linguistic Aspects of Grammatical Inference
Inference of Timed Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A discriminative model for semi-supervised learning
Journal of the ACM (JACM)
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
The PAC-learnability of planning algorithms: Investigating simple planning domains
Information Sciences: an International Journal
A bibliographical study of grammatical inference
Pattern Recognition
Computational aspects of data mining
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Computational science and data mining
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Extracting a simplified view of design functionality based on vector simulation
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Boosting with averaged weight vectors
MCS'03 Proceedings of the 4th international conference on Multiple classifier systems
Selective sampling methods in one-class classification problems
ICANN/ICONIP'03 Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing
Horn upper bounds and renaming
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
A lower bound for agnostically learning disjunctions
COLT'07 Proceedings of the 20th annual conference on Learning theory
TTCN-3 quality engineering: using learning techniques to evaluate metric sets
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Characterizing schema mappings via data examples
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Partial observability and learnability
Artificial Intelligence
Completing networks using observed data
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
On evolvability: the swapping algorithm, product distributions, and covariance
SAGA'09 Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
ENDER: a statistical framework for boosting decision rules
Data Mining and Knowledge Discovery
PAC-MDP learning with knowledge-based admissible models
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Fast and Scalable Local Kernel Machines
The Journal of Machine Learning Research
Kernel Methods for Revealed Preference Analysis
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reverse engineering ECUs of automotive components: a case study
Proceedings of the First International Workshop on Model Inference In Testing
On spectral windows in supervised learning from data
Information Processing Letters
Learning of event-recording automata
Theoretical Computer Science
General behavioral thermal modeling and characterization for multi-core microprocessor design
Proceedings of the Conference on Design, Automation and Test in Europe
Algorithms and theory of computation handbook
Automatic discovery of unspecified behaviors in automotive control software
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Reducing reinforcement learning to KWIK online regression
Annals of Mathematics and Artificial Intelligence
Learning trees and rules with set-valued features
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Learning figures with the hausdorff metric by fractals
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Learning finite state machines
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Zulu: an interactive learning competition
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
An improved lower bound on query complexity for quantum PAC learning
Information Processing Letters
Arithmetic Circuits: A survey of recent results and open questions
Foundations and Trends® in Theoretical Computer Science
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
From ZULU to RERS: lessons learned in the ZULU challenge
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
ISVC'10 Proceedings of the 6th international conference on Advances in visual computing - Volume Part I
SIAM Journal on Computing
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Proceedings of the forty-third annual ACM symposium on Theory of computing
Online algorithms with stochastic input
ACM SIGecom Exchanges
Formal and empirical grammatical inference
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts of ACL 2011
Evaluating pattern set mining strategies in a constraint programming framework
PAKDD'11 Proceedings of the 15th Pacific-Asia conference on Advances in knowledge discovery and data mining - Volume Part II
Characterizing schema mappings via data examples
ACM Transactions on Database Systems (TODS)
Small strategies for safety games
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Learning finite cover automata from queries
Journal of Computer and System Sciences
SIAM Journal on Computing
Learning linearly separable languages
ALT'06 Proceedings of the 17th international conference on Algorithmic Learning Theory
A little advice can be very helpful
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
On computability of pattern recognition problems
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
On PAC learning algorithms for rich boolean function classes
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Bounds on the sample complexity for private learning and private data release
TCC'10 Proceedings of the 7th international conference on Theory of Cryptography
A lower bound for distribution-free monotonicity testing
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
On learning random DNF formulas under the uniform distribution
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
LEVER: a tool for learning based verification
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
The spectral method for general mixture models
COLT'05 Proceedings of the 18th annual conference on Learning Theory
On the (im)possibility of obfuscating programs
Journal of the ACM (JACM)
ANNPR'06 Proceedings of the Second international conference on Artificial Neural Networks in Pattern Recognition
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Minimization, learning, and conformance testing of boolean programs
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Inference of event-recording automata using timed decision trees
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On approximation algorithms for data mining applications
Efficient Approximation and Online Algorithms
Regular inference for state machines with parameters
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Algorithms for strategyproof classification
Artificial Intelligence
Learning twig and path queries
Proceedings of the 15th International Conference on Database Theory
Proceedings of the 15th International Conference on Database Theory
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Polynomial characteristic sets for DFA identification
Theoretical Computer Science
Explicit Dimension Reduction and Its Applications
SIAM Journal on Computing
Activized learning: transforming passive to active with improved label complexity
The Journal of Machine Learning Research
Learning boolean functions incrementally
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
DNF hypotheses in explanatory induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Linguistic categorization and complexity
SIGMORPHON '12 Proceedings of the Twelfth Meeting of the Special Interest Group on Computational Morphology and Phonology
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
On the learnability of shuffle ideals
ALT'12 Proceedings of the 23rd international conference on Algorithmic Learning Theory
Practicality of accelerometer side channels on smartphones
Proceedings of the 28th Annual Computer Security Applications Conference
Over-Sampling from an auxiliary domain
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part I
A Computational Learning Theory of Active Object Recognition Under Uncertainty
International Journal of Computer Vision
On evaluating stream learning algorithms
Machine Learning
Learning and verifying quantified boolean queries by example
Proceedings of the 32nd symposium on Principles of database systems
On the complexity of trial and error
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Software model synthesis using satisfiability solvers
Empirical Software Engineering
Learning universally quantified invariants of linear data structures
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Automated identification of normal and diabetes heart rate signals using nonlinear measures
Computers in Biology and Medicine
Bias-variance tradeoffs in program analysis
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ACM Transactions on Database Systems (TODS) - Invited papers issue
A survey of multiple classifier systems as hybrid systems
Information Fusion
Learning from interpretation transition
Machine Learning
On the learnability of shuffle ideals
The Journal of Machine Learning Research
Algorithms and hardness results for parallel large margin learning
The Journal of Machine Learning Research
| Hi-index | 0.02 |