3244 search results - page 467 / 649 » On convex complexity measures |
166
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
146
click to vote
MM
2005
ACM
16 years 2 days ago
2005
ACM
Video data is increasingly being used in medical diagnosis. Due to the quality of the video and the complexities of underlying motion captured, it is difficult for an in-experienc...
138
click to vote
MSWIM
2005
ACM
16 years 2 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
170
click to vote
SC
2005
ACM
16 years 2 days ago
2005
ACM
Parallel applications running on high-end computer systems manifest a complexity of performance phenomena. Tools to observe parallel performance attempt to capture these phenomena...
157
click to vote
SIGECOM
2005
ACM
16 years 2 days ago
2005
ACM
In this paper we formulate the fixed budget resource allocation game to understand the performance of a distributed marketbased resource allocation system. Multiple users decide ...