1007 search results - page 125 / 202 » The Complexity of Futile Questioning |
121
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...
99
Voted
DIGRA
2005
Springer
15 years 6 months ago
2005
Springer
Despite the fact that there are currently a number of enjoyable digital games in which light plays a key role, we lack a vocabulary with which to discuss simulated illumination in...
108
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
89
Voted
ICARIS
2003
Springer
15 years 6 months ago
2003
Springer
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the ident...
107
Voted
STACS
2001
Springer
15 years 5 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...