4067 search results - page 481 / 814 » Programs for Applying Symmetries |
194
click to vote
IWPEC
2004
Springer
16 years 23 hour ago
2004
Springer
We propose to look at the computational complexity of 2-dimensional geometric optimization problems on a finite point set with respect to the number of inner points (that is, poi...
183
click to vote
PPDP
2004
Springer
16 years 14 hour ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
179
click to vote
SEKE
2004
Springer
16 years 11 hour ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
153
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...
194
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
: This paper presents FROSTY, a computer program for automatically extracting the hierarchy of a large-scale digital CMOS circuit from its transistor-level netlist description and ...