1615 search results - page 12 / 323 » Computer science and decision theory |
122
Voted
TCS
2010
14 years 10 months ago
2010
136
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
117
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
137
Voted
KER
2008
15 years 3 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
119
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Emotion has been identified as a salient dimension of organizational life and this has led to the emergence of a growing body of literature that suggests its importance to a wide ...