Results 121 to 130 of about 1,234 (232)
Modeling of an attack mission by strike drones under active enemy counteraction
Радіоелектронні і комп'ютерні системиThe rapid growth of innovation in modern warfare has led to the need to consider the enemy's ability to build defenses using modern anti-drone measures when planning offensive missions with strike drones.
Oleg Fedorovich +5 more
doaj +1 more source
Confluence of reduction rules for lexicographic ordering constraints
, 2009 The lex leader method for breaking symmetry in CSPs typically produces a large set of lexicographic ordering constraints. Several rules have been proposed to reduce such sets whilst preserving logical equivalence.
Grayland, Andrew +2 more
core
Modeling the life cycle reduction for the rapid development of UAVs for use in military missions
Авіаційно-космічна техніка та технологіяModern warfare has changed the understanding of strategy, tactics, and the use of new types of equipment, both in terms of operational-tactical actions and new technologies in military systems. The emergence of UAVs of various types has enabled their use
Oleg Fedorovich +5 more
doaj +1 more source
Lexicographic Composition of Similarity-Based Fuzzy Orderings
, 2008 The present paper introduces an approach to construct lexicographic compositions of similarity-based fuzzy orderings. This construction is demonstrated by means of non-trivial examples.
Ulrich Bodenhofer
core
Lexicographic Refinements of Sugeno Integrals
, 2007 International audienceThis paper deals with decision-making under uncertainty when the worth of acts is evaluated by means of Sugeno integral on a finite scale. One limitation of this approach is the coarse ranking of acts it produces. In order to refine
Hélène Fargier +3 more
core +1 more source
Algorithm of search of linear function values on lexicographic ordering transpositions
, 2009 Рассматриваются алгоритмы поиска значений линейной функции налексикографически упорядоченных перестановках, излагается вопрос применения теории графов для построения алгоритмов нахождения перестановки по определенному номеру и наоборот.Algorithms of ...
Колечкина, Л. Н. +1 more
core +1 more source
Arc-Consistency for a Chain of Lexicographic Ordering Constraints [Elektronisk resurs]
, 2002 We present an arc-consistency algorithm for a chain of lexicographic ordering constraints on $m$ vectors of $n$ variables each. The algorithm maintains arc-consistency and runs in $O(nmd)$ time per invocation, where $d$ is the cost of certain domain ...
Beldiceanu, Nicolas, Carlsson, Mats,
core
, 1995 It is shown that a termination proof for a term rewriting system using a lexicographic path ordering yields a multiply recursive bound on the length of derivations, measured in the depth of the starting term.
Weiermann, Andreas
core +1 more source
Sensitivity analysis for lexicographic ordering in radiation therapy treatment planning. [PDF]
Med Phys, 2012 Long T +5 more
europepmc +1 more source
A context-free linear ordering with an undecidable first-order theory
, 2012 International audienceThe words of a context-free language, ordered by the lexicographic ordering, form a context-free linear ordering. It is well-known that the linear orderings associated with deterministic context-free languages have a decidable ...
Zoltán Ésik +3 more
core +1 more source