Search Results

Select result number 1
1

Call Usage Learning by a Beluga (Delphinapterus leucas) in a Categorical Matching Task

by Vergara, Valeria, Barrett-Lennard, Lance
Published 2017
Subjects: “...contextual learning...”

Get access

Article in Journal/Newspaper
Select result number 2
2

Call Usage Learning by a Beluga (Delphinapterus leucas) in a Categorical Matching Task

by Vergara, Valeria, Barrett-Lennard, Lance
Published 2017
Subjects: “...contextual learning...”

Get access

Article in Journal/Newspaper
Select result number 3
3

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga ...

by Kaiser, Jonas, Pientka, Brigitte, Smolka, Gert
Published 2017
Subjects: “...Contextual Reasoning...”

Get access
Get access

Conference Object
Select result number 4
4

Deep-Learning-Based Context-Aware Multi-Level Information Fusion Systems for Indoor Mobile Robots Safe Navigation

by Yin Jia, Balakrishnan Ramalingam, Rajesh Elara Mohan, Zhenyuan Yang, Zimou Zeng, Prabakaran Veerajagadheswar
Published in Sensors (2023)
Subjects: “...contextual features...”

Get access

Text
Select result number 5
5

Deep-Learning-Based Context-Aware Multi-Level Information Fusion Systems for Indoor Mobile Robots Safe Navigation

by Yin Jia, Balakrishnan Ramalingam, Rajesh Elara Mohan, Zhenyuan Yang, Zimou Zeng, Prabakaran Veerajagadheswar
Published in Sensors (2023)
Subjects: “...contextual features...”

Get access
Get access

Article in Journal/Newspaper
Select result number 6
6

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga

by Kaiser, Jonas, Pientka, Brigitte, Smolka, Gert
Published 2017
Subjects: “...Contextual Reasoning...”

Get access
Get access
Get access

Conference Object
Select result number 7
7

Formal verification of the equivalence of system F and the pure type system L2

by Kaiser, Jonas
Published 2019
Subjects: “...contextual reasoning...”

Get access
Get access

Doctoral or Postdoctoral Thesis

Narrow Search