9325 search results - page 209 / 1865 » The decentralized implementability problem |
113
click to vote
ISCIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
110
click to vote
DATE
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...
112
click to vote
AIPS
2010
15 years 5 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...
122
click to vote
ICMLA
2007
15 years 4 months ago
2007
Our research addresses the issue of developing knowledge-based agents that capture and use the problem solving knowledge of subject matter experts from diverse application domains...
ICCAD
2001
IEEE
16 years 5 days ago
2001
IEEE
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arri...