8874 search results - page 420 / 1775 » A New Implementation of Automath |
210
click to vote
IANDC
2007
15 years 7 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
186
click to vote
IJNVO
2007
15 years 7 months ago
2007
It is argued that firm cooperation in supply chain management can be classified as a hybrid governance structure in a new institutional sense. Using a key informant survey, explora...
187
click to vote
JDA
2007
15 years 7 months ago
2007
Ordering a set of items so as to minimize the sum of distances between consecutive elements is a fundamental optimization problem occurring in many settings. While it is NP-hard i...
218
click to vote
JPDC
2007
15 years 7 months ago
2007
This paper is proposing a new platform for implementing services in future service oriented architectures. The basic premise of our proposal is that by combining large volume of u...
173
click to vote
AUTOMATICA
2004
15 years 7 months ago
2004
A new class of Lyapunov uniformly globally asymptotically stable (UGAS) protocols in networked control systems (NCS) is considered. It is shown that if the controller is designed ...