Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Ramirez, Jorge H (25)
Ferrer-i-Cancho, Ramon (6)
Goodman, I. R. (6)
MASSACHUSETTS UNIV AMHERST CENTER FOR INTELLIGENT INFORMATION RETRIEVAL (5)
NAVAL POSTGRADUATE SCHOOL MONTEREY CA (5)
Altmann, Eduardo G. (4)
Cai, Jinfa (4)
Kostoff, Ronald N. (4)
McCallum, Andrew (4)
Moyer, John (4)
more
Year
Medium
Type:
Article (180)
Miscellaneous (45)
Book (5)
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
3
4
5
...
12
Hits 1 – 20 of 230
1
Optimal alphabet for single text compression ...
Allahverdyan, Armen E.
;
Khachatryan, Andranik
. - : arXiv, 2022
BASE
Show details
2
A novel source-filter stochastic model for voice production
Cataldo, Edson
;
Monteiro, L.
;
Soize, Christian
In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021)
BASE
Show details
3
Writing At the Horizon: How Producing Imagined Narratives Affects Mood
Liang, David Yu-Zhong
In: Senior Projects Fall 2021 (2021)
BASE
Show details
4
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
Bannour, Boutheina
;
Niol, Julien
;
Crisafulli, Paolo
In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021)
Abstract:
International audience ; Finding comprehensive and relevant scenarios is a major challenge for autonomous vehicles validation and SOTIF. A functional scenario, e.g. a cut-in, encloses many concrete variations. Formal methods help covering an intermediate level of scenario families, called logical, and capitalizing them in a scenario database. Families are generated from discrete and modular symbolic models through a new subsumption criterion which allows the identification of scenario suffixes which are redundant and eliminate them during the generation. The generation, including the implementation of the subsumption criterion, benefits from: i) the compact representation of models thanks to discretization and symbolic arithmetic, ii) dedicated symbolic execution techniques. Analysis is performed to verify how the generated scenarios cover real situations by confronting them to time series from the modeled system and identify potential gaps in the model. We formally define our approach, implement it in the symbolic execution tool DIVERSITY. Assessment is carried out on a real autopilot black box module from the project 3SA.
Keyword:
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
;
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
;
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
;
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
;
[PHYS.PHYS.PHYS-DATA-AN]Physics [physics]/Physics [physics]/Data Analysis
;
Advanced Driver Assistance Systems
;
Analytical models
;
Redundancy
;
Self-Driving Vehicles
;
Statistics and Probability [physics.data-an]
;
Time series analysis
URL:
https://doi.org/10.1109/IV48863.2021.9575528
https://hal.archives-ouvertes.fr/hal-03540190
BASE
Hide details
5
Learning a weather dictionary of atmospheric patterns using Latent Dirichlet Allocation
Fery, Lucas
;
Dubrulle, Berengere
;
Podvin, Berengere
...
In: https://hal.archives-ouvertes.fr/hal-03258523 ; 2021 (2021)
BASE
Show details
6
Neural Network Reconstruction of Late-Time Cosmology and Null Tests ...
Dialektopoulos, Konstantinos
;
Said, Jackson Levi
;
Mifsud, Jurgen
. - : arXiv, 2021
BASE
Show details
7
Drift in a Popular Metal Oxide Sensor Dataset Reveals Limitations for Gas Classification Benchmarks ...
Dennler, Nik
;
Rastogi, Shavika
;
Fonollosa, Jordi
. - : arXiv, 2021
BASE
Show details
8
The Fundamental Limit Theorem of Countable Markov Chains
Gentry, Nathanael
In: Senior Honors Theses (2021)
BASE
Show details
9
Combination of Time Series Analysis and Sentiment Analysis for Stock Market Forecasting
Chou, Hsiao-Chuan
. - : Digital Commons @ University of South Florida, 2021
In: Graduate Theses and Dissertations (2021)
BASE
Show details
10
Free Energy: A User's Guide
Mann, Stephen Francis
;
Pain, Ross
;
Kirchhoff, Michael
. - 2021
BASE
Show details
11
Information flow, artificial phonology and typology
Gafos, Adamantios
In: Proceedings of the Society for Computation in Linguistics (2021)
BASE
Show details
12
Heaps' law and Heaps functions in tagged texts: Evidences of their linguistic relevance ...
Chacoma, Andrés
;
Zanette, Damián H.
. - : arXiv, 2020
BASE
Show details
13
Predictive Validity of Standards-based and Curriculum-embedded Assessments for Predicting Readiness at Kindergarten Entry
DeCamilla, Elizabeth Ashton
. - : Digital Commons @ University of South Florida, 2020
In: Graduate Theses and Dissertations (2020)
BASE
Show details
14
Monolingual and bilingual language networks in healthy subjects using functional MRI and graph theory ...
Li, Qiongge
;
Pasquini, Luca
;
Del Ferraro, Gino
. - : arXiv, 2019
BASE
Show details
15
The brevity law as a scaling law, and a possible origin of Zipf's law for word frequencies ...
Corral, Alvaro
;
Serra, Isabel
. - : arXiv, 2019
BASE
Show details
16
Multilabel text classification of public procurements using deep learning intent detection ; Textklassificering av offentliga upphandlingar med djupa artificiella neuronnät och avsåtsdetektering
Suta, Adin
. - : KTH, Matematisk statistik, 2019
BASE
Show details
17
LSTM vs Random Forest for Binary Classification of Insurance Related Text ; LSTM vs Random Forest för binär klassificering av försäkringsrelaterad text
Kindbom, Hannes
. - : KTH, Matematisk statistik, 2019
BASE
Show details
18
The flow of ideologies between a political figure and a militant community: a CMC corpora analysis
Marinica, Claudia
;
Després, Zakarya
;
Plancq, Clément
...
In: 6th Conference on Computer-Mediated Communication (CMC) and Social Media Corpora ; https://hal.archives-ouvertes.fr/hal-01872152 ; 6th Conference on Computer-Mediated Communication (CMC) and Social Media Corpora, Sep 2018, Anvers, Belgium (2018)
BASE
Show details
19
Statistical Physics of Language Maps in the USA ...
Burridge, James
;
Vaux, Bert
;
Gnacik, Michal
. - : arXiv, 2018
BASE
Show details
20
Telling apart Felidae and Ursidae from the distribution of nucleotides in mitochondrial DNA ...
Rovenchak, Andrij
. - : arXiv, 2018
BASE
Show details
Page:
1
2
3
4
5
...
12
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
230
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern