6978 search results - page 1359 / 1396 » On Proofs in System P |
171
click to vote
CODES
2007
IEEE
16 years 16 days ago
2007
IEEE
3D stacked wafer integration has the potential to improve multiprocessor system-on-chip (MPSoC) integration density, performance, and power efficiency. However, the power density...
173
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— In this paper, we describe a new approach for the extrinsic calibration of a camera with a 3D laser range finder, that can be done on the fly. This approach does not require an...
180
click to vote
WCRE
2007
IEEE
16 years 14 days ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
169
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
The TAC Supply Chain Management (TAC/SCM) game presents a challenging dynamic environment for autonomous decision-making in a salient application domain. Strategic interactions co...
143
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested autonomous agents. The agents have time constraints in the form of both deadlines and discount factors...