5326 search results - page 1 / 1066 » On what we can ensure |
78
Voted
SYNTHESE
2008
15 years 10 days ago
2008
: The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues t...
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
84
Voted
ENTCS
2002
15 years 7 days ago
2002
If S = 0 is a system of n equations and unknowns over C and S() = 0 to what extent can we compute with the point ? In particular, can we decide whether or not a polynomial express...
98
Voted
CCR
2010
15 years 16 days ago
2010
There is significant research interest recently to understand the evolution of the current Internet, as well as to design clean-slate Future Internet architectures. Clearly, even ...
101
click to vote
TARK
2007
Springer
15 years 6 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...