Cargando…
Formal methods for mining structured objects
In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the constr...
Autor principal: | Garriga, Gemma C |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2013
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-642-36681-9 http://cds.cern.ch/record/1522360 |
Ejemplares similares
-
Formal methods in manufacturing
por: Campos, Javier, et al.
Publicado: (2014) -
Formal methods for discrete-time dynamical systems
por: Belta, Calin, et al.
Publicado: (2017) -
Formal specification level: concepts, methods, and algorithms
por: Soeken, Mathias, et al.
Publicado: (2015) -
Hardware design verification: simulation and formal method-based approaches
por: Lam, William K C
Publicado: (2005) -
Formal methods for industrial critical systems: a survey of applications
por: Gnesi, Stefania, et al.
Publicado: (2012)