846 search results - page 57 / 170 » Rewrite-Based Decision Procedures |
97
Voted
CADE
2006
Springer
16 years 29 days ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
134
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
KR
2004
Springer
15 years 6 months ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
105
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a communication-less multi-agent task allocation procedure that allows agents to use past experience to make non-greedy decisions about task assignments. Exper...
92
Voted
CHI
1993
ACM
15 years 4 months ago
1993
ACM
In order to inform the design of technology support and new procedural methodsfor softwaredesign,we analyzed the content of real design meetingsin threeorganizations, focusing in ...