4166 search results - page 459 / 834 » Automating the constraining process |
202
click to vote
ISICT
2004
15 years 7 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...
120
click to vote
NIPS
2004
15 years 7 months ago
2004
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...
136
click to vote
AAAI
1997
15 years 7 months ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
170
click to vote
LISA
2000
15 years 7 months ago
2000
Here we describe Pelendur, a system for the management of common system operation tasks. Specifically, Pelendur focuses on the management of user accounts and related information ...
150
Voted
PTS
1998
15 years 7 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...