14084 search results - page 214 / 2817 » A Theory for Game Theories |
155
click to vote
ECIS
2003
15 years 8 months ago
2003
In Information Systems research there are a growing number of studies that must necessarily draw upon the contexts, experiences and narratives of practitioners. This calls for res...
218
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
200
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
224
click to vote
ECWEB
2010
Springer
15 years 7 months ago
2010
Springer
This research proposes a decision aid based on a novel type of preference relaxation, which enables consumers to easily make quality choices in online multiattribute choice scenari...
210
click to vote
GRC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...