Search for persons
X
?
23rd International Conference on Distributed Computing and Networking ,
4
A TLA+ Formal Proof of a Cross-Chain Swap:
, In:
?
Natufian Foragers in the Levant ,
5
Flint Knapping and its Objectives in the Early Natufian: th..:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
6
Towards Synthesis of Distributed Algorithms with SMT Solver:
, In:
?
2019 IEEE/CVF International Conference on Computer Vision (ICCV) ,
7
KPConv: Flexible and Deformable Convolution for Point Cloud:
, In:
?
2018 International Conference on 3D Vision (3DV) ,
8
Semantic Classification of 3D Point Clouds with Multiscale ..:
, In:
?
Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization ,
9
Comparing Peer Recommendation Strategies in a MOOC:
, In:
?
Adaptivity, Personalization and Fusion of Heterogeneous Information ,
11
Linguistic information extraction for job ads (SIRE project:
, In:
?
2008 Design, Automation and Test in Europe ,
12
Mapping Semantics of CORBA IDL and GIOP to Open Core Protoc..:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
13
Mapping semantics of CORBA IDL and GIOP to open core protoc..:
, In:
?
Clinical Functional MRI; Medical Radiology ,
14