Sciweavers

627 search results - page 76 / 126
» The Laplace-Jaynes approach to induction
Sort
View
CAV
2008
Springer
161views Hardware» more  CAV 2008»
15 years 19 days 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
KBS
2008
83views more  KBS 2008»
14 years 10 months ago
Rule-based and case-based reasoning approach for internal audit of bank
Banks currently have a great interest in internal audits to reduce risks, to prevent themselves from insolvency, and to take quick action for financial incidents. This study prese...
Gun Ho Lee
EACL
2003
ACL Anthology
15 years 1 days ago
Evaluating and Combining Approaches to Selectional Preference Acquisition
Previous work on the induction of selectional preferences has been mainly carried out for English and has concentrated almost exclusively on verbs and their direct objects. In thi...
Carsten Brockmann, Mirella Lapata
KDID
2004
132views Database» more  KDID 2004»
15 years 1 days ago
An Automata Approach to Pattern Collections
Condensed representations of pattern collections have been recognized to be important building blocks of inductive databases, a promising theoretical framework for data mining, and...
Taneli Mielikäinen
IJCAI
2003
15 years 16 hour ago
GRAEL: an agent-based evolutionary computing approach for natural language grammar development
This paper describes an agent-based evolutionary computing technique called GRAEL (Grammar Evolution), that is able to perform different natural language grammar optimization and ...
Guy De Pauw