1220 search results - page 56 / 244 » Minimal Interval Completions |
TCS
2008
13 years 9 months ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— During a complete running stride, which involves significant periods of flight during which no legs are contacting the ground, a quadruped cannot employ static stability tech...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
CLUSTER
2006
IEEE
2006
IEEE
A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems
13 years 9 months ago
When users' tasks in a distributed heterogeneous computing environment (e.g., cluster of heterogeneous computers) are allocated resources, the total demand placed on some sys...
ESANN
2004
13 years 10 months ago
2004
The way information is represented and processed in a neural network may have important consequences on its computational power and complexity. Basically, information representatio...