4894 search results - page 75 / 979 » Choices |
141
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
139
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove th...
145
click to vote
DEON
2008
Springer
15 years 7 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
150
click to vote
ESTIMEDIA
2008
Springer
15 years 7 months ago
2008
Springer
Resource reservations are a very popular choice to schedule multimedia tasks. However, the high variability of the resource requirements hinders a static choice of the scheduling ...
143
click to vote
ACL
2006
15 years 7 months ago
2006
Statistical machine translation is quite robust when it comes to the choice of input representation. It only requires consistency between training and testing. As a result, there ...