1615 search results - page 12 / 323 » Computer science and decision theory |
TCS
2010
13 years 2 months ago
2010
LICS
2003
IEEE
14 years 25 days 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 ...
STACS
2009
Springer
14 years 2 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...
KER
2008
13 years 7 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...
HICSS
2008
IEEE
14 years 2 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 ...