Search
Results 231-236 of 236 (Search time: 0.006 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| On formal verification in imperative multivalued programming over continuous data types Müller, Norbert; Park, Sewon; Preining, Norbert; Ziegler, Martin A, 13th International Conference on Computability and Complexity in Analysis, CCA 2016, pp.35 - 38, University of Algarve, 2016-06 | |
| Multimodal execution monitoring for anomaly detection during robot manipulation Park, Daehyung; Erickson, Zackory; Bhattacharjee, Tapomayukh; Kemp, Charles C., IEEE International Conference on Robotics and Automation, ICRA 2016, pp.407 - 414, IEEE Robotics and Automation Society, 2016-05 | |
| Weighted conflict-aware channel assignment in 802.11-based mesh networks Lee, Changryeol; Shin, Donghoon; Choi, Sunghee, 18th International Conference on Advanced Communications Technology, ICACT 2016, pp.377 - 381, Institute of Electrical and Electronics Engineers Inc., 2016-01 | |
| APEM: Automatic paraphrase evaluation using morphological analysis for the Korean language Moon, Sung Won; Gweon, Gahgene; Choi, Ho-Jin; Heo, Jeong, 18th International Conference on Advanced Communications Technology, ICACT 2016, pp.680 - 684, Institute of Electrical and Electronics Engineers Inc., 2016-01 | |
| Lightweight verification of separate compilation Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20 | |
| Interference management for distributed parallel applications in consolidated clusters Han, Jaeung; Jeon, Seungheun; Choi, Young-Ri; Huh, Jaehyuk, 21st International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, pp.443 - 456, Association for Computing Machinery, 2016-04 |
Discover
Type
- 236 Conference