1996 search results - page 40 / 400 » A decision procedure for linear |
103
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
208
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
116
click to vote
NIPS
2004
15 years 1 months ago
2004
We study gender discrimination of human faces using a combination of psychophysical classification and discrimination experiments together with methods from machine learning. We r...
ISCI
2006
14 years 12 months ago
2006
Set functions appear as a useful tool in many areas of decision making and operations research, and several linear invertible transformations have been introduced for set function...