1948 search results - page 225 / 390 » Formalizing Mirror Theory |
178
click to vote
SIGECOM
2006
ACM
16 years 17 days ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
173
click to vote
SIGECOM
2005
ACM
16 years 5 days ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
154
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
152
click to vote
CICLING
2005
Springer
16 years 4 days ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
217
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...