5084 search results - page 251 / 1017 » Proving Possibility Properties |
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
171
click to vote
EAAI
2007
15 years 6 months ago
2007
: In knowledge discovery and data mining many measures of interestingness have been proposed in order to measure the relevance and utility of the discovered patterns. Among these m...
163
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
162
click to vote
CTRSA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We report on the experiments we performed in order to assess the security of SHA-1 against the attack by Chabaud and Joux [5]. We present some ideas for optimizations of ...
146
click to vote
WINE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We give a simple characterization of all single-item truthrevealing auctions under some mild (and natural) assumptions about the auctions. Our work opens up the possibili...