Filters
Biometric-Enabled Watchlists Technology
), a watchlist normally contains high-quality biometric traits and is checked only against into the watchlist. Motivated by this fact, we introduce a systematic approach to assessing the risk of travellers using a biometric-enabled ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
ProofWatch: Watchlist Guidance for Large Theories in E
Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter of watchlists in large theories coming from first-order translations of l...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
ProofWatch Meets ENIGMA: First Experiments
Watchlist (also hint list) is a technique that allows lemmas from related proofs to guide a saturation-style proof search for a new conjecture. ProofWatch is a recent watchlist-style method that loads many previous proofs inside the...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation
watchlist.
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2016 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
ENIGMAWatch: ProofWatch Meets ENIGMA
In this work we describe a new learning-based proof guidance – ENIGMAWatch – for saturation-style first-order theorem provers. ENIGMAWatch combines two guiding approaches for the given-clause selection implemented for the E ATP system: ProofWatch and...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Profiling of drug shipments and couriers
watchlists and the processing of textual descriptions of goods. Attention is also given...
Statistics and probability
- 2024 •
- NmetS
Rok uplatnění
NmetS - Metodiky schválené orgánem státní správy
Biometric Intelligence in Automated Border Control Applications: From Talking Faces to Talking Robots
(using his/her biometrics), operates with a watchlist (database), generates cognitive...
JC - Počítačový hardware a software
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 7 out of 7