52 search results - page 8 / 11 » Deep Inference and Its Normal Form of Derivations |
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
Scalable storage architectures allow for the addition of disks to increase storage capacity and/or bandwidth. In its general form, disk scaling also refers to disk removals when e...
CASCON
1992
13 years 8 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
– We report position and force detection thresholds for sinusoidal waveforms in the frequency range 10-500 Hz delivered through a stylus. The participants were required to hold t...
EMO
2006
Springer
13 years 11 months ago
2006
Springer
Many-objective optimization refers to optimization problems with a number of objectives considerably larger than two or three. In this paper, a study on the performance of the Fast...