Sciweavers

4166 search results - page 78 / 834
» Automating the constraining process
Sort
View
MLDM
2009
Springer
15 years 7 months ago
Assisting Data Mining through Automated Planning
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...
Fernando Fernández, Daniel Borrajo, Susana ...
FM
2009
Springer
127views Formal Methods» more  FM 2009»
15 years 9 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
FLOPS
2010
Springer
15 years 10 months ago
Automatically Generating Counterexamples to Naive Free Theorems
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
Daniel Seidel, Janis Voigtländer
NMELP
1994
15 years 7 months ago
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
Carolina Ruiz, Jack Minker
ICDE
2007
IEEE
120views Database» more  ICDE 2007»
15 years 9 months ago
Support Concurrent Queries in Multiuser CBIR Systems
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
Danzhou Liu, Kien A. Hua