451 search results - page 21 / 91 » Relationless Completeness and Separations |
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs w...
ACCV
2007
Springer
15 years 3 months ago
2007
Springer
We consider the problem of L2-optimal triangulation from three separate views. Triangulation is an important part of numerous computer vision systems. Under gaussian noise, minimiz...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...