2659 search results - page 395 / 532 » Do we mean the same |
137
Voted
DSS
2000
15 years 4 months ago
2000
This paper studies the quality of service (QoS) provision problem in noncooperative networks where applications or users are sel sh and routers implement generalized processor sha...
186
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract: Although a quantum state requires exponentially many classical bits to describe, the laws of quantum mechanics impose severe restrictions on how that state can be accesse...
131
click to vote
IJCV
2002
15 years 4 months ago
2002
In this paper we present a panoramic depth imaging system. The system is mosaic-based which means that we use a single rotating camera and assemble the captured images in a mosaic....
162
Voted
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
148
Voted
ICSR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...