Catégorie
Codage des caractères
Publications associées (57)
Data for Paper "Scalable Semantic 3D Mapping of Coral Reefs with Deep Learning"
Anders Meibom, Devis Tuia, Guilhem Maurice Louis Banc-Prandi, Jonathan Paul Sauder
Example Data for DeepReefMap This dataset contains input videos in MP4 format taken with GoPro Hero 10 Cameras in Reefs in the Red Sea to demonstrate the DeepReefMap tool, which is described in the paper "Scalable Semantic 3D Mapping of Coral Reefs with De ...
EPFL Infoscience2024The Complexity of Satisfiability Checking for Symbolic Finite Automata
We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our decomposition to obtain ...
2023The Complexity of Checking Non-Emptiness in Symbolic Tree Automata
We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...
2023Reproducibility dataset for CRYOWRF validation
Varun Sharma, Michael Lehning, Franziska Gerber
This dataset contains data and scripts for "CRYOWRF - a validation and the effect of blowing snow on the Antarctic SMB" (Gerber et al., 2022).* Simulation_setup: Namelists and input information to run the simulation. Some input files need to be downloaded ...
EPFL Infoscience2022Inducing Meaningful Units from Character Sequences with Slot Attention
James Henderson, Melika Behjati
Characters do not convey meaning, but sequences of characters do. We propose an unsupervised distributional method to learn the abstract meaning-bearing units in a sequence of characters. Rather than segmenting the sequence, this model discovers continuous ...
2021Visual Focus of Attention Estimation in 3D Scene with an Arbitrary Number of Targets
Jean-Marc Odobez, Rémy Alain Siegfried
Visual Focus of Attention (VFOA) estimation in conversation is challenging as it relies on difficult to estimate information (gaze) combined with scene features like target positions and other contextual information (speaking status) allowing to disambigua ...
IEEE COMPUTER SOC2021A class of 2-local finite spectra which admit a v1/2-self-map
At the prime 2, Behrens, Hill, Hopkins and Mahowald showed that M-2 (1, 4) admits a 32-periodic v(2)-self-map. More recently, in joint work with Mahowald, we showed that A(1) also admits a 32-periodic v(2)-self-map. This leads to the question of whether th ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2020Improving Inter-Laboratory Reproducibility in Measurement of Biochemical Methane Potential (BMP)
Biochemical methane potential (BMP) tests used to determine the ultimate methane yield of organic substrates are not sufficiently standardized to ensure reproducibility among laboratories. In this contribution, a standardized BMP protocol was tested in a l ...
2020EMPIRICAL EVALUATION AND COMBINATION OF PUNCTUATION PREDICTION MODELS APPLIED TO BROADCAST NEWS
Natural language processing techniques are dependent upon punctuation to work well. When their input is taken from speech recognition, it is necessary to reconstruct the punctuation; in particular sentence boundaries. We define a range of features from low ...
2019EMPIRICAL EVALUATION AND COMBINATION OF PUNCTUATION PREDICTION MODELS APPLIED TO BROADCAST NEWS
Natural language processing techniques are dependent upon punctuation to work well. When their input is taken from speech recognition, it is necessary to reconstruct the punctuation; in particular sentence boundaries. We define a range of features from low ...
Idiap2019