1996 search results - page 7 / 400 » A decision procedure for linear |
CTRS
1990
15 years 2 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
CONTEXT
2003
Springer
15 years 3 months ago
2003
Springer
Although it seems obvious that decision making is a contextual task, papers dealing with decision making tackle rarely the problem of contextual information management. After a bri...
LOPSTR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
AI
2006
Springer
14 years 10 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
SIGSOFT
2006
ACM
15 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...