Sciweavers

44 search results - page 2 / 9
» Discovering Constraints for Inductive Process Modeling
Sort
View
WSC
2008
13 years 8 months ago
A modeling-based classification algorithm validated with simulated data
We present a Generalized Lotka-Volterra (GLV) based approach for modeling and simulation of supervised inductive learning, and construction of an efficient classification algorith...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
CAV
2008
Springer
161views Hardware» more  CAV 2008»
13 years 8 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari
ECML
2001
Springer
13 years 10 months ago
Discovering Admissible Simultaneous Equation Models from Observed Data
Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constrain...
Takashi Washio, Hiroshi Motoda, Yuji Niwa
EMNLP
2010
13 years 4 months ago
Using Universal Linguistic Knowledge to Guide Grammar Induction
We present an approach to grammar induction that utilizes syntactic universals to improve dependency parsing across a range of languages. Our method uses a single set of manually-...
Tahira Naseem, Harr Chen, Regina Barzilay, Mark Jo...
BPSC
2009
240views Business» more  BPSC 2009»
13 years 7 months ago
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
Wolfgang Runte