Repositorios 2

ALL-SAT 6 Automata composition 6 Boolean functions 6 Conjunctive normal forms 6 Decision theory 6 FSA intersection 6 Finite state 6 Pattern matching 6 Propositional satisfiability 6 Regular expressions 6 Running time 6 SAT solvers 6 Several variables 6 State-of-the-art performance 6 Action recognition 4 Average running time 4 Benchmarking 4 Classification performance 4 Clause learning 4 Computer vision 4 Construction approaches 4 Data sets 4 Finite automata 4 Image analysis 4 Intersection grammars (FSIG) 4 Model counting 4 Nearest neighbors 4 Non-parametric 4 Real time systems 4 Real-world problem 4