Sciweavers

5269 search results - page 46 / 1054
» order 2007
Sort
View
SPLC
2007
15 years 1 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
EJC
2008
14 years 12 months ago
Identifying codes of cycles with odd orders
The problem of the r-identifying code of a cycle Cn has been solved totally when n is even. Recently, S. Gravier et al. give the r-identifying code for the cycle Cn with the minim...
Min Xu, Krishnaiyan Thulasiraman, Xiao-Dong Hu
CORR
2007
Springer
47views Education» more  CORR 2007»
14 years 11 months ago
Reduced-Order Modelling of the Bending of an Array of Torsional Micromirrors
An array of micromirrors for beam steering optical switching has been designed in a thick polysilicon technology. A novel semi-analytical method to calculate the static characteri...
A. Molfese, A. Nannini, F. Pieri
ESANN
2000
15 years 1 months ago
Evaluating SOMs using order metrics
It has been shown that self-organized maps, when adequately trained with the set of integers 1 to 32, lay out real numbers in a 2D map in an ordering that is superior to any of the...
Arnulfo P. Azcarraga
ORDER
2007
89views more  ORDER 2007»
14 years 11 months ago
On-line Chain Partitioning of Up-growing Interval Orders
On-line chain partitioning problem of on-line posets has been open for the past 20 years. The best known on-line algorithm uses 5w −1 4 chains to cover poset of width w. Felsner ...
Patrick Baier, Bartlomiej Bosek, Piotr Micek