关注
Vadim Zaliva
Vadim Zaliva
University of Cambridge
在 crocodile.org 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Sequential classification recognition of gesture primitives and window-based parameter smoothing for high dimensional touchpad (HDTP) user interfaces
US Patent 20,120,007,821, 2012
427*2012
Touch-based user interfaces employing artificial neural networks for hdtp parameter and symbol derivation
V Zaliva
US Patent App. 13/038,365, 2012
2062012
Heterogeneous tactile sensing via multiple sensor types
LF Ludwig, V Zaliva
US Patent 9,823,781, 2017
1232017
3d finger posture detection and gesture recognition on touch surfaces
V Zaliva
US Patent App. 13/544,960, 2013
1152013
Curve-fitting approach to high definition touch pad (HDTP) parameter extraction
V Zavila
US Patent 10,146,427, 2018
1072018
Gesteme (gesture primitive) recognition for advanced touch user interfaces
LF Ludwig, V Zaliva
US Patent 10,430,066, 2019
752019
Barometric and GPS altitude sensor fusion
V Zaliva, F Franchetti
2014 IEEE International Conference on Acoustics, Speech and Signal …, 2014
542014
Modular, compositional, and executable formal semantics for LLVM IR
Y Zakowski, C Beck, I Yoon, I Zaichuk, V Zaliva, S Zdancewic
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
422021
USB HID device abstraction for HDTP user interfaces
V Zaliva
US Patent App. 13/356,578, 2012
422012
Firewall builder
V Kurland, V Zaliva
White paper, 2003
172003
List entry selection for electronic devices
V Zaliva
US Patent 7,996,781, 2011
152011
Firewall policy modeling, analysis and simulation: a survey
V Zaliva
Source-Forge, Tech. Rep, 2008
152008
Passive user identification using sequential analysis of proximity information in touchscreen usage patterns
V Zaliva, W Melicher, S Saha, J Zhang
2015 Eighth International Conference on Mobile Computing and Ubiquitous …, 2015
142015
Where’s the rock: using convolutional neural networks to improve land cover classification
H Petliak, C Cerovski-Darriau, V Zaliva, J Stock
Remote Sensing 11 (19), 2211, 2019
102019
HELIX: a case study of a formal verification of high performance program generation
V Zaliva, F Franchetti
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High …, 2018
102018
Human user interfaces utilizing interruption of the execution of a first recognized gesture with the execution of a recognized second gesture
V Zaliva
US Patent 8,797,288, 2014
92014
Verified translation between purely functional and imperative domain specific languages in HELIX
V Zaliva, I Zaichuk, F Franchetti
International Workshop on Numerical Software Verification, 33-49, 2020
82020
Reification of shallow-embedded DSLs in Coq with automated verification
V Zaliva, M Sozeau
International Workshop on Coq for Programming Languages (CoqPL), 2019
82019
Hamake: A Data Flow Approach to Data Processing in Hadoop.
V Zaliva, V Orlov
CLOSER, 457-461, 2012
62012
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
V Zaliva, K Memarian, R Almeida, J Clarke, B Davis, A Richardson, ...
Proceedings of the 29th ACM International Conference on Architectural …, 2024
5*2024
系统目前无法执行此操作,请稍后再试。
文章 1–20