15792 search results - page 272 / 3159 » Computational Abstraction Steps |
195
click to vote
ANTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper analyzes reduction of fractional ideals in a purely cubic function field of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...
209
click to vote
IVC
2002
15 years 7 months ago
2002
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
185
click to vote
4OR
2008
15 years 7 months ago
2008
This paper is the continuation of a previous work (Fasano 2004), dedicated to a MIP formulation for non-standard three-dimensional packing issues, with additional conditions. The ...
201
click to vote
FASE
1999
Springer
15 years 11 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
204
click to vote
SEC
1997
15 years 8 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...