Results 11 to 20 of about 530,352 (266)
Automatic Complexity Analysis [PDF]
, 2002 We consider the problem of automating the derivation of tight asymptotic complexity bounds for solving Horn clauses. Clearly, the solving time crucially depends on the "sparseness" of the computed relations. Therefore, our asymptotic runtime analysis is accompanied by an asymptotic sparsity calculus together with an asymptotic sparsity analysis.
Flemming Nielson +2 more
openaire +1 more source
Automatic Cephalometric Analysis [PDF]
The Angle Orthodontist, 2008 Abstract Objective: To describe the techniques used for automatic landmarking of cephalograms, highlighting the strengths and weaknesses of each one and reviewing the percentage of success in locating each cephalometric point. Materials and Methods: The literature survey was performed by searching the Medline, the ...
Concetto Spampinato +3 more
openaire +3 more sources
RUDN Journal of Language Studies, Semiotics and Semantics, 2021 The article presents approaches to the automatic detection of sound repetitions and the measurement of sound coherence in Russian poetic text basing on the syllabocentric concept of the sound texture of the verse, which distinguishes the phonosyllabeme ...
Georgy V. Vekshin +2 more
doaj +1 more source
Automatic audio content analysis [PDF]
Proceedings of the fourth ACM international conference on Multimedia - MULTIMEDIA '96, 1996 This paper describes the theoretic framework and applications of automatic audio content analysis. Research in multimedia content analysis has so far concentrated on the video domain. We demonstrate the strength of automatic audio content analysis. We explain the algorithms we use, including analysis of amplitude, frequency and pitch, and simulations ...
Pfeiffer, Silvia +2 more
openaire +3 more sources
Supervised and Unsupervised Learning Technology in the Study of Rodent Behavior
Frontiers in Behavioral Neuroscience, 2017 Quantifying behavior is a challenge for scientists studying neuroscience, ethology, psychology, pathology, etc. Until now, behavior was mostly considered as qualitative descriptions of postures or labor intensive counting of bouts of individual movements.
Katsiaryna V. Gris +2 more
doaj +1 more source
Discourse “Declaration of Love”: Problem of Automatic Identification (Works of A. P. Chekhov»)
Научный диалог, 2021 The problem of revealing the “Declaration of Love” discourse in works of art is considered. The author’s development on the automatic detection of the situation of declaration of love, tested on the material of the work of A. P.
L. G. Babenko, A. V. Elston-Biron
doaj +1 more source
Assessment of the size and shape of berries using the ImageJ program on the example of honeysuckle
Труды по прикладной ботанике, генетике и селекции, 2022 Background. Digital technologies are increasingly used in agriculture to solve a variety of problems. However, in horticulture and industrial production of fruit and berry crops, qualitative evaluation and scoring of the most important morphological ...
D. Yu. Nokhrin +2 more
doaj +1 more source
Advanced Modeling and Simulation in Engineering Sciences, 2018 In this contribution the multi-physics problem of fluid–structure–control interaction (FSCI) is solved by an iterative, partitioned approach utilizing Gauss–Seidel formulations.
Andreas Winterstein +3 more
doaj +1 more source
On the Optimal Input Rate in Queues with Batch Service
Axioms, 2023 In recent years, queuing systems with batch service are emerging as powerful and flexible mathematical models in different frameworks. In this paper, we consider a single server queuing system with Poissonian arrivals, infinite buffers, and a constant ...
Michele Pagano +2 more
doaj +1 more source
Optimization of Open Queuing Networks with Batch Services
Mathematics, 2022 In this paper, open queuing networks with Poisson arrivals and single-server infinite buffer queues are considered. Unlike traditional queuing models, customers are served (with exponential service time) in batches, so that the nodes are non-work ...
Elena Stankevich +2 more
doaj +1 more source