THU-EE System Description for NIST LRE 2015

Basis System Description of Information in Psychology

PsycEXTRA Dataset ◽

10.1037/e734112011-075 ◽

2002 ◽

Author(s):

Konstantin Malyshev ◽

Yakov Lebedev

Keyword(s):

System Description ◽

Basis System

Download Full-text

Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

Journal on Satisfiability, Boolean Modeling and Computation ◽

10.3233/sat-200126 ◽

2020 ◽

Vol 12 (1) ◽

pp. 17-22

Author(s):

Alexander Nadel

Keyword(s):

Variable Selection ◽

Open Source ◽

System Description

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.

Download Full-text

The SRI International STAR-LAB System Description for IberSPEECH-RTVE 2018 Speaker Diarization Challenge

10.21437/iberspeech.2018-42 ◽

2018 ◽

Cited By ~ 1

Author(s):

Diego Castan ◽

Mitchell McLaren ◽

Mahesh Kumar Nandwana

Keyword(s):

Speaker Diarization ◽

System Description

Download Full-text

Ensuring the implementation of the modernized structure and automation of air traffic control processes in the area of responsibility of the Moscow district of air traffic control

Informacionno-technologicheskij vestnik ◽

10.21499/2409-1650-2018-3-46-54 ◽

2018 ◽

pp. 46-54

Author(s):

A. V. Strukova

Keyword(s):

Traffic Control ◽

Traffic Management ◽

Air Traffic Control ◽

Management System ◽

Air Traffic Management ◽

Air Traffic ◽

Security System ◽

System Description ◽

Functional Capabilities ◽

Traffic Management System

The article considers the new automated air traffic management system «Synthesis AR4», as well as a system description for ensuring the implementation of a modernized airspace structure, navigation and surveillance that provides technical capabilities. A number of functional capabilities and advantages of the airspace security system are presented.

Download Full-text