Abstract

Approximate Model Checking Using a Subset of First-order Logic

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Approximate Model Checking Using a Subset of First-order Logic
Kazuya Masuda ... Toshinobu Kashiwabara
IPSJ Transactions on System LSI Design Methodology | VOL. 3
Kazuya Masuda, et. al.Kazuya Masuda ... Toshinobu Kashiwabara
01 Jan 2009
Selective Reformulation of Examples in Concept Learning
Jean-Daniel Zucker ... Jean-Gabriel Ganascia
Machine Learning Proceedings 1994 | VOL. -
Jean-Daniel Zucker, et. al.Jean-Daniel Zucker ... Jean-Gabriel Ganascia
01 Jan 1993
Formal specification of geographic data processing requirements
G.-C Roman
IEEE Transactions on Knowledge and Data Engineering | VOL. 2
G.-C RomanG.-C Roman
01 Jan 1990
Filtering Multi-Instance Problems to Reduce Dimensionality in Relational Learning
Érick Alphonse ... Stan Matwin
Journal of Intelligent Information Systems | VOL. 22
Érick Alphonse, et. al.Érick Alphonse ... Stan Matwin
01 Jan 2004
View more papers

More From: Information and Media Technologies

Paper Title
Journal
Date
Author
Assisting video communication by an intermediating robot system corresponding to each user's attitude
...
Information and Media Technologies | VOL. 6
, et. al. ...
04 Sep 2019
Exploring the Social Bonding That Evolves Between a Human and a Minimally Designed Accompanying Robot
...
Information and Media Technologies | VOL. 11
, et. al. ...
01 Jul 2019
HoVerTable: Combining Dual-sided Vertical Mid-air Images with a Horizontal Tabletop Display
...
Information and Media Technologies | VOL. 10
, et. al. ...
01 Jul 2019
Information and Media Technologies Ceased New Publication
Information and Media Technologies | VOL. 12
01 Jan 2018
View more papers