Automatic inference of model fields and their representation

Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 ◽

10.1145/2076674.2076683 ◽

2011 ◽

Author(s):

Mihai Balint ◽

Marius Minea

Keyword(s):

Automatic Inference

Download Full-text

Automatic inference of movements from contact histories

ACM SIGCOMM Computer Communication Review ◽

10.1145/2043164.2018481 ◽

2011 ◽

Vol 41 (4) ◽

pp. 386-387 ◽

Cited By ~ 3

Author(s):

Pengcheng Wang ◽

Zhaoyu Gao ◽

Xinhui Xu ◽

Yujiao Zhou ◽

Haojin Zhu ◽

...

Keyword(s):

Automatic Inference

Download Full-text

AutoMO: automatic inference of memory order parameters for C/C++11

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015 ◽

10.1145/2814270.2814286 ◽

2015 ◽

Cited By ~ 3

Author(s):

Peizhao Ou ◽

Brian Demsky

Keyword(s):

Order Parameters ◽

Automatic Inference

Download Full-text

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns

Proceedings of the Symposium on SDN Research ◽

10.1145/3373360.3380831 ◽

2020 ◽

Cited By ~ 1

Author(s):

Ali Kheradmand

Keyword(s):

Automatic Inference ◽

High Level

Download Full-text

AUTOMATIC INFERENCE FOR INFINITE ORDER VECTOR AUTOREGRESSIONS

Econometric Theory ◽

10.1017/s0266466605050073 ◽

2005 ◽

Vol 21 (01) ◽

Cited By ~ 17

Author(s):

Guido M. Kuersteiner

Keyword(s):

Infinite Order ◽

Vector Autoregressions ◽

Automatic Inference

Download Full-text

Automatic Inference of Structural Changes for Matching across Program Versions

29th International Conference on Software Engineering (ICSE'07) ◽

10.1109/icse.2007.20 ◽

2007 ◽

Cited By ~ 61

Author(s):

Miryung Kim ◽

David Notkin ◽

Dan Grossman

Keyword(s):

Structural Changes ◽

Automatic Inference

Download Full-text

Towards Automatic Inference of Kernel Object Semantics from Binary Code

Research in Attacks, Intrusions, and Defenses - Lecture Notes in Computer Science ◽

10.1007/978-3-319-26362-5_25 ◽

2015 ◽

pp. 538-561 ◽

Cited By ~ 4

Author(s):

Junyuan Zeng ◽

Zhiqiang Lin

Keyword(s):

Binary Code ◽

Automatic Inference

Download Full-text

Bag of Errors: Automatic Inference of a Student Model in an Electrical Training System

Advances in Computational Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02840-4_15 ◽

2018 ◽

pp. 183-197

Author(s):

Guillermo Santamaría-Bonfil ◽

Yasmín Hernández ◽

Miguel Pérez-Ramírez ◽

G. Arroyo-Figueroa

Keyword(s):

Training System ◽

Student Model ◽

Automatic Inference

Download Full-text

Automatic Inference and Effective Application of Temporal Specifications

Mining Software Specifications - Chapman & Hall/CRC Data Mining and Knowledge Discovery Series ◽

10.1201/b10928-9 ◽

2011 ◽

pp. 241-307

Author(s):

Jinlin Yang ◽

David Evans

Keyword(s):

Effective Application ◽

Automatic Inference ◽

Temporal Specifications

Download Full-text

Automatic Inference of Energy Models for Peripheral Components in Embedded Systems

2017 IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) ◽

10.1109/ficloud.2017.53 ◽

2017 ◽

Cited By ~ 1

Author(s):

Nadir Cherifi ◽

Thomas Vantroys ◽

Alexandre Boe ◽

Colombe Herault ◽

Gilles Grimaud

Keyword(s):

Embedded Systems ◽

Energy Models ◽

Automatic Inference

Download Full-text

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

Information Processign in Cells and Tissues - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28792-3_4 ◽

2012 ◽

pp. 25-30 ◽

Cited By ~ 6

Author(s):

Fabien Corblin ◽

Eric Fanchon ◽

Laurent Trilling ◽

Claudine Chaouiya ◽

Denis Thieffry

Keyword(s):

Gene Interaction ◽

Expression Data ◽

Dynamical Properties ◽

Automatic Inference

Download Full-text