Search alternatives:
processing algorithm » processing algorithms (Expand Search)
method algorithm » mould algorithm (Expand Search)
elemental per » elementi per (Expand Search)
per algorithm » deer algorithm (Expand Search), rd algorithm (Expand Search), search algorithm (Expand Search)
processing algorithm » processing algorithms (Expand Search)
method algorithm » mould algorithm (Expand Search)
elemental per » elementi per (Expand Search)
per algorithm » deer algorithm (Expand Search), rd algorithm (Expand Search), search algorithm (Expand Search)
-
481
On the Generation of Quantified Lemmas
Published 2018“…<p dir="ltr">In this paper we present an algorithmic method of lemma introduction. Given a proof in predicate logic with equality the algorithm is capable of introducing several universal lemmas. …”
-
482
Measuring ripple effect for object-oriented programs. (c2004)
Published 2004Get full text
Get full text
masterThesis -
483
Optimization metaheuristic for software testing
Published 2013“…This paper presents an evolutionary method for testing web applications. Although state-based testing has been reported, few papers have addressed modern web applications. …”
Get full text
Get full text
Get full text
Get full text
conferenceObject -
484
Mobile Robot Navigation in Dynamic Environments Using an Improved RRT* Approach
Published 2018Get full text
doctoralThesis -
485
Combining offline and on-the-fly disambiguation to perform semantic-aware XML querying
Published 2023“…The semantically augmented XML data tree is processed for structural node clustering, based on semantic query concepts (i.e., key-concepts), in order to identify and rank candidate answer sub-trees containing related occurrences of query key-concepts. …”
Get full text
Get full text
Get full text
Get full text
article -
486
A matheuristic approach for solving the 2-connected dominating set problem
Published 2019“…The algorithm is based on a Greedy Randomized Adaptive Search Procedure (GRASP). …”
-
487
On Indefinite Quadratic Optimization over the Intersection of Balls and Linear Constraints
Published 2022“…To solve e-TRS, we use the alternating direction method of multipliers approach and a branch and bound algorithm. …”
-
488
-
489
Structural similarity evaluation between XML documents and DTDs
Published 2007“…The automatic processing and management of XML-based data are ever more popular research issues due to the increasing abundant use of XML, especially on the Web. …”
Get full text
Get full text
Get full text
Get full text
conferenceObject -
490
A multi-pretraining U-Net architecture for semantic segmentation
Published 2025“…The proposed approach makes advantage of data augmentation to generate newly synthesized images, which are subsequently processed using a watershed mask. …”
-
491
MoveSchedule
Published 1995“…The resource levels describe different methods or crew-sizes for performing the activity. …”
Get full text
Get full text
Get full text
masterThesis -
492
A conjugate self-organizing migration (CSOM) and reconciliate multi-agent Markov learning (RMML) based cyborg intelligence mechanism for smart city security
Published 2023“…Here, the Quantized Identical Data Imputation (QIDI) mechanism is implemented at first for data preprocessing and normalization. …”
-
493
Multidimensional Gains for Stochastic Approximation
Published 2019“…The proposed algorithms here aim for per-iteration minimization of the mean square estimate error. …”
Get full text
Get full text
Get full text
Get full text
article -
494
Applications of fast fourier transform in the integrity evaluation of deep foundations
Published 2016“…The method is developed and validated using experimental data, and is based on applying the fast Fourier transform mapping algorithm on data obtained from cross-hole sonic logging. …”
Get full text
Get full text
Get full text
Get full text
article -
495
Efficient Scalable VLSI Architecture for Montgomery Inversion in GF(p)
Published 2004“…We suggest a new correction phase for a previously proposed almost Montgomery inverse algorithm to calculate the inversion in hardware. We also propose an efficient hardware algorithm to compute the inverse by multi-bit shifting method. …”
Get full text
Get full text
article -
496
Impacts of Feeder Reconfiguration on Renewable Resources Allocation in Balanced and Unbalanced Distribution Systems
Published 2016“…In this article, network reconfiguration and distributed generation allocation in distribution networks are dealt with simultaneously while imposing an objective of minimizing energy loss. The proposed method, which is based on a genetic algorithm, takes into consideration the uncertainty related to renewable distributed generation output power and the load variability. …”
Get full text
article -
497
Reconfigured Photovoltaic Model to Facilitate Maximum Power Point Tracking for Micro and Nano-Grid Systems
Published 2022“…This enables the use of a simple Perturb and Observe (P&O) algorithm to easily track GMPP. For reconfiguration, a simple 5 × 5 PV array is considered, and a new physical relocation procedure based on the position square method is proposed. …”
-
498
Radial basis function networks for contingency analysis of bulkpower systems
Published 1999“…Unlike most of the available neural networks based techniques, the proposed method utilizes the potential of RBFN in planning studies. …”
Get full text
Get full text
article -
499
A novel few shot learning derived architecture for long-term HbA1c prediction
Published 2024“…Short-term CGM time-series data are processed using both novel image transformation approaches, as well as using conventional signal processing methods. …”
-
500
Automation of the Arabic sign language recognition
Published 2004“…This paper introduces a system to recognize the Arabic sign language using an instrumented glove and a machine learning method. Interfaces in sign language systems can be categorized as direct-device or vision-based. …”
Get full text
Get full text
article