Sciweavers

8486 search results - page 95 / 1698
» Ordered Enumeration Method
Sort
View
DEXAW
2008
IEEE
119views Database» more  DEXAW 2008»
14 years 3 months ago
Evolutionary Approaches to Linear Ordering Problem
Linear Ordering Problem (LOP) is a well know optimization problem attractive for its complexity (it is a NPhard problem), rich collection of testing data and variety of real world...
Václav Snásel, Pavel Krömer, Ja...
APN
2001
Springer
14 years 19 days ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
MLQ
2010
124views more  MLQ 2010»
13 years 7 months ago
Countably categorical coloured linear orders
Abstract. In this paper, we give a classification of (finite or countable) ℵ0categorical coloured linear orders, generalizing Rosenstein’s characterization of ℵ0-categorica...
Feresiano Mwesigye, John K. Truss
ICASSP
2011
IEEE
13 years 21 days ago
Subspace-based DOA estimation using Fractional Lower Order statistics
Direction Of Arrival (DOA) estimation, using a sensor array, in the presence of non-Gaussian noise using Fractional Lower-Order Moments (FLOM)matrices is studied. In this paper, a...
K. V. S. Hari, V. Lalitha
ICCAD
2004
IEEE
107views Hardware» more  ICCAD 2004»
14 years 5 months ago
Computation of signal threshold crossing times directly from higher order moments
—This paper introduces a simple method for calculating the times at which any signal crosses a prespecified threshold voltage (e.g., 10%, 20%, 50%, etc.) directly from the moment...
Yehea I. Ismail, Chirayu S. Amin