1021 search results - page 41 / 205 » Concepts in Proof Planning |
170
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Advance Reservations are an important concept to support QoS and Workflow Scheduling in Grid environments. However, the impact of reservations from the Grid on the performance of ...
182
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a unified framework that considers flipflop and repeater insertion and the placement of flipflop/repeater blocks during RT or higher level design. We introduce the...
111
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Floor-planning is a fundamental step in VLSI chip design. Based upon the concept of orderly spanning trees, we present a simple O(n)-time algorithm to construct a floor-plan for a...
173
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
151
click to vote
CMOT
2006
15 years 6 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...