12194 search results - page 2329 / 2439 » cans 2010 |
158
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
132
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper studies the outlier detection problem from the point of view of penalized regressions. Our regression model adds one mean shift parameter for each of the n data points....
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Capacitated Caching (CC) Games are motivated by P2P and web caching applications, and involve nodes on a network making strategic choices regarding the content to replicate in the...
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
As a variant of the HB authentication protocol for RFID systems, which relies on the complexity of decoding linear codes against passive attacks, Madhavan et al. presented Non-Line...
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem ha...