4708 search results - page 316 / 942 » Generating the Structure of Argument |
162
click to vote
HICSS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this manuscript we develop a conceptual understanding of how key risk factors associated with Information Technology development projects are magnified or multiplied when deali...
159
click to vote
DSN
2005
IEEE
16 years 9 days ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
172
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
175
Voted
FCT
2005
Springer
16 years 6 days ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
167
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...