Sciweavers

5924 search results - page 243 / 1185
» Normal Process Representatives
Sort
View
ISMVL
2000
IEEE
134views Hardware» more  ISMVL 2000»
15 years 11 months ago
The 2-SAT Problem of Regular Signed CNF Formulas
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
ASPDAC
2004
ACM
79views Hardware» more  ASPDAC 2004»
15 years 10 months ago
NSGA-based parasitic-aware optimization of a 5GHz low-noise VCO
Abstract--A parasitic-aware RF synthesis tool based on a nondominated sorting genetic algorithm (NSGA) is introduced. The NSGA-based optimizer casts the design problem as a multi-o...
Min Chu, David J. Allstot, Jeffrey M. Huard, Kim Y...
SPIESR
2000
138views Database» more  SPIESR 2000»
15 years 7 months ago
Descriptor for spatial distribution of motion activity for compressed video
In this paper we present a new descriptor for spatial distribution of motion activity in video sequences. We construct a histogram of areas of distinct regions (or "blobs&quo...
Ajay Divakaran, Huifang Sun
ESWA
2008
172views more  ESWA 2008»
15 years 6 months ago
DADICC: Intelligent system for anomaly detection in a combined cycle gas turbine plant
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
Antonio L. Arranz Matía, Alberto Cruz, Migu...
SMA
2008
ACM
154views Solid Modeling» more  SMA 2008»
15 years 6 months ago
Consistent computation of first- and second-order differential quantities for surface meshes
Differential quantities, including normals, curvatures, principal directions, and associated matrices, play a fundamental role in geometric processing and physics-based modeling. ...
Xiangmin Jiao, Hongyuan Zha