12052 search results - page 263 / 2411 » computer 2010 |
127
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...
147
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
162
Voted
ENTCS
2006
15 years 5 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
133
Voted
CHI
2010
ACM
15 years 12 months ago
2010
ACM
BuildingonthesuccessesofpriorworkshopsatCHI andotherHCIconferencesoncomputingin internationaldevelopment,weproposeapanelto engagewiththebroaderCHIcommunity.Topicstobe discussedinc...
81
Voted
COMPUTER
2010
15 years 5 months ago
2010
