921 search results - page 121 / 185 » Expressing Computational Complexity in Constructive Type The... |
133
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
115
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
This paper reports on an on-going project, which is investigating the role that location plays in the visibility of information presented on a public display. Spatial measures are...
120
click to vote
CLA
2004
15 years 5 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
ECCC
2007
15 years 4 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
141
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...