13383 search results - page 2323 / 2677 » Abstractions from proofs |
124
click to vote
COMSNETS
2012
14 years 4 days ago
2012
Abstract—This paper describes Steptacular, an online interactive incentive system for encouraging people to walk more. A trial offering Steptacular to the employees of Accenture-...
136
click to vote
IUI
2012
ACM
13 years 12 months ago
2012
ACM
Recent computer vision approaches are aimed at richer image interpretations that extend the standard recognition of objects in images (e.g., cars) to also recognize object attribu...
172
click to vote
MMM
2012
Springer
13 years 12 months ago
2012
Springer
Abstract. For the task of assigning labels to an image to summarize its contents, many early attempts use segment-level information and try to determine which parts of the images c...
133
click to vote
PAM
2012
Springer
13 years 12 months ago
2012
Springer
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...
165
click to vote
TSP
2012
13 years 12 months ago
2012
Abstract—We consider a robust downlink beamforming optimization problem for secondary multicast transmission in a multiple-input multiple-output (MIMO) spectrum sharing cognitive...