1775 search results - page 95 / 355 » Antichains on Three Levels |
135
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
Industrial Sawyer motor technology has existed for nearly three decades, traditionally being operated as open-loop positioners. Such systems can attain micron level motion resolut...
150
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
139
click to vote
CPE
1997
Springer
15 years 10 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
122
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
153
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...