Showing 81 - 100 results of 7,668 for search '"computer sciences"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "computer sciences"

Search Results

Showing 81 - 100 results of 7,668 for search '"computer sciences"', query time: 0.89s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 81
81

Constructing a Knowledge Graph from Textual Descriptions of Software Vulnerabilities in the National Vulnerability Database

by Høst, Anders Mølmen, Lison, Pierre, Moonen, Leon
Published 2023
Subjects: “...Computer Science - Cryptography and Security...”

Get access

Text
Select result number 82
82

An Automated Approach to the Collatz Conjecture

by Yolcu, Emre, Aaronson, Scott, Heule, Marijn J. H.
Published 2021
Subjects: “...Computer Science - Logic in Computer Science...”

Get access

Text
Select result number 83
83

Advances in Computational Biology: A Real Boost or a Wishful Thinking

by Diamant, Emanuel
Published 2015
Subjects: “...Computer Science - Other Computer Science...”

Get access

Text
Select result number 84
84

From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus

by van Bakel, Steffen, Cardelli, Luca, Vigliotti, Maria Grazia
Published 2011
Subjects: “...Computer Science - Logic in Computer Science...”

Get access

Text
Select result number 85
85

Proceedings Fourth Interaction and Concurrency Experience

by Silva, Alexandra, Bliudze, Simon, Bruni, Roberto, Carbone, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...Computer Science - Logic in Computer Science...”

Get access
Get access

Text
Select result number 86
86

Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems

by Ölveczky, Peter Csaba
Published in Electronic Proceedings in Theoretical Computer Science (2010)
Subjects: “...Computer Science - Logic in Computer Science...”

Get access
Get access

Text
Select result number 87
87

Certification extends Termination Techniques

by Sternagel, Christian, Thiemann, René
Published 2012
Subjects: “...Computer Science - Logic in Computer Science...”

Get access

Text
Select result number 88
88

Robust Unsupervised Multi-Object Tracking in Noisy Environments

by Yang, C. -H. Huck, Chhabra, Mohit, Liu, Y. -C., Kong, Quan, Yoshinaga, Tomoaki, Murakami, Tomokazu
Published in 2021 IEEE International Conference on Image Processing (ICIP) (2021)
Subjects: “...Computer Science - Computer Vision and Pattern Recognition...”

Get access
Get access

Text
Select result number 89
89

Contrastive Language-Vision AI Models Pretrained on Web-Scraped Multimodal Data Exhibit Sexual Objectification Bias

by Wolfe, Robert, Yang, Yiwei, Howe, Bill, Caliskan, Aylin
Published in 2023 ACM Conference on Fairness, Accountability, and Transparency (2022)
Subjects: “...Computer Science - Computers and Society...”

Get access
Get access

Text
Select result number 90
90

COLREG-Compliant Collision Avoidance for Unmanned Surface Vehicle using Deep Reinforcement Learning

by Meyer, Eivind, Heiberg, Amalie, Rasheed, Adil, San, Omer
Published 2020
Subjects: “...Computer Science - Robotics...”

Get access

Text
Select result number 91
91

DC-MRTA: Decentralized Multi-Robot Task Allocation and Navigation in Complex Environments

by Agrawal, Aakriti, Hariharan, Senthil, Bedi, Amrit Singh, Manocha, Dinesh
Published 2022
Subjects: “...Computer Science - Robotics...”

Get access

Text
Select result number 92
92

Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots

by Čáp, Michal, Novák, Peter, Kleiner, Alexander, Selecký, Martin
Published 2014
Subjects: “...Computer Science - Robotics...”

Get access

Text
Select result number 93
93

Distributed Swarm Collision Avoidance Based on Angular Calculations

by Qazavi, SeyedZahir, Semnani, Samaneh Hosseini
Published 2021
Subjects: “...Computer Science - Robotics...”

Get access

Text
Select result number 94
94

On Recognizable Languages of Infinite Pictures

by Finkel, Olivier
Published 2009
Subjects: “...Computer Science - Logic in Computer Science...”

Get access

Text
Select result number 95
95

Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

by Bruggink, H. J. Sander, König, Barbara, Nolte, Dennis, Zantema, Hans
Published 2015
Subjects: “...Computer Science - Logic in Computer Science...”

Get access

Text
Select result number 96
96

DeepSeqSLAM: A Trainable CNN+RNN for Joint Global Description and Sequence-based Place Recognition

by Chancán, Marvin, Milford, Michael
Published 2020
Subjects: “...Computer Science - Computer Vision and Pattern Recognition...”

Get access

Text
Select result number 97
97

3D Hand Pose Estimation in Egocentric Images in the Wild

by Prakash, Aditya, Tu, Ruisen, Chang, Matthew, Gupta, Saurabh
Published 2023
Subjects: “...Computer Science - Computer Vision and Pattern Recognition...”

Get access

Text
Select result number 98
98

Distance Metric Learning Loss Functions in Few-Shot Scenarios of Supervised Language Models Fine-Tuning

by Sosnowski, Witold, Seweryn, Karolina, Wróblewska, Anna, Gawrysiak, Piotr
Published 2022
Subjects: “...Computer Science - Computation and Language...”

Get access

Text
Select result number 99
99

Revisiting Distance Metric Learning for Few-Shot Natural Language Classification

by Sosnowski, Witold, Wróblewska, Anna, Seweryn, Karolina, Gawrysiak, Piotr
Published 2022
Subjects: “...Computer Science - Computation and Language...”

Get access

Text
Select result number 100
100

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019
Subjects: “...Computer Science - Programming Languages...”

Get access

Text