5608 search results - page 143 / 1122 » On the Theory of Matchgate Computations |
111
click to vote
CIAC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Given a binary dominance relation on a set of alternatives, a common thread in the social sciences is to identify subsets of alternatives that satisfy certain notions of ...
111
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
106
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
130
Voted
ADC
2007
Springer
15 years 8 months ago
2007
Springer
Structured Query Language (SQL) is the dominant language for querying relational databases today, and is an essential topic in introductory database courses in higher education. E...
142
click to vote
FOSSACS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...