共 50 条
- [31] Learning similarity measures: a formal view based on a generalized CBR model CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS, 2005, 3620 : 507 - 521
- [32] Integrated formal verification: Using model checking with automated abstraction, invariant generation, and theorem proving THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 1 - 11
- [33] A similarity-based range—frequency model for two-category rating data Psychonomic Bulletin & Review, 2008, 15 : 638 - 643
- [34] Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (93): : 1 - 21
- [38] The role of logic in linguistics - Formal model formation and functional linguistic theory ZEITSCHRIFT FUR GERMANISTISCHE LINGUISTIK, 2004, 32 (01): : 32 - 61
- [39] A Formal Model for Agent-Based Coalition Formation in Electricity Markets 2013 4TH IEEE/PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE), 2013,