5550 search results - page 201 / 1110 » Different Approaches to Proof Systems |
193
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
187
click to vote
ASC
2008
15 years 6 months ago
2008
This paper presents a methodology for automatically generating online scheduling strategies for a complex objective defined by a machine provider. To this end, we assume independe...
174
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
186
click to vote
ICIP
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, we propose a distributed compression approach for multi-view images, where each camera efficiently encodes its visual information locally without requiring any col...
188
click to vote
HRI
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents the combined results of two studies that investigated how a robot should best approach and place itself relative to a seated human subject. Two live Human Robo...