2061 search results - page 338 / 413 » The continuous knapsack set |
177
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
223
click to vote
SEW
2006
IEEE
16 years 11 days ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
165
click to vote
COMPGEOM
2006
ACM
16 years 10 days ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
197
click to vote
CEC
2005
IEEE
16 years 2 hour ago
2005
IEEE
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...
193
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...