3914 search results - page 220 / 783 » Automating SLA modeling |
116
Voted
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
139
Voted
CSL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
146
Voted
EWCBR
1993
Springer
15 years 6 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
129
click to vote
LOPSTR
1994
Springer
15 years 6 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
111
Voted
PRICAI
2000
Springer
15 years 6 months ago
2000
Springer
The automated prediction of a user's interests and requirements is an area of interest to the Artificial Intelligence community. However, current predictive statistical approa...