Version space learning for verification on temporal differentials

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 ◽

10.1145/3092703.3098238 ◽

2017 ◽

Author(s):

Mark Santolucito

Keyword(s):

Download Full-text

Version space controlled genetic algorithms (VGA)

[1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems ◽

10.1109/aihas.1991.138440 ◽

2002 ◽

Author(s):

R.G. Reynolds

Keyword(s):

Genetic Algorithms ◽

Download Full-text

Learning Concise Pattern for Interlinking with Extended Version Space

2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) ◽

10.1109/wi-iat.2014.18 ◽

2014 ◽

Author(s):

Zhengjie Fan ◽

Jerome Euzenat ◽

Francois Scharffe

Keyword(s):

Extended Version ◽

Download Full-text

Version Space

10.1007/springerreference_179589 ◽

2012 ◽

Keyword(s):

Download Full-text

Version space algorithms on hierarchies with exceptions

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-57287-2_43 ◽

1993 ◽

pp. 136-149 ◽

Author(s):

Grigoris Antoniou

Keyword(s):

Download Full-text

Version-space induction with multiple concept languages

Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-54712-6_232 ◽

1991 ◽

pp. 197-207

Author(s):

Claudio Carpineto

Keyword(s):

Version Space ◽

Concept Languages

Download Full-text

Seed space and version space: Generalizing from approximations

Lecture Notes in Computer Science - Machine Learning — EWSL-91 ◽

10.1007/bfb0017027 ◽

2005 ◽

pp. 346-346

Author(s):

Jacques Nicolas

Keyword(s):

Download Full-text

Incremental Version-Space Merging: A General Framework for Concept Learning

10.1007/978-1-4613-1557-5 ◽

1990 ◽

Author(s):

Haym Hirsh

Keyword(s):

Concept Learning ◽

General Framework ◽

Download Full-text

A Factorized Version Space Algorithm for "Human-In-the-Loop" Data Exploration

2019 IEEE International Conference on Data Mining (ICDM) ◽

10.1109/icdm.2019.00117 ◽

2019 ◽

Author(s):

Luciano Di Palma ◽

Yanlei Diao ◽

Anna Liu

Keyword(s):

Data Exploration ◽

Human In The Loop ◽

Download Full-text

Elastic version space: a knowledge acquisition method with background knowledge adjustment

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) ◽

10.1109/tai.1993.633958 ◽

2002 ◽

Author(s):

K.-I. Hagiwara

Keyword(s):

Knowledge Acquisition ◽

Background Knowledge ◽

Version Space ◽

Acquisition Method

Download Full-text

A generalized version space learning algorithm for noisy and uncertain data

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/69.591457 ◽

1997 ◽

Vol 9 (2) ◽

pp. 336-340 ◽

Author(s):

Tzung-Pai Hong ◽

Shian-Shyong Tsang

Keyword(s):

Learning Algorithm ◽

Uncertain Data ◽

Download Full-text