28888 search results - page 5455 / 5778 » Computability and complexity in analysis |
145
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
177
click to vote
ACL
2012
13 years 6 months ago
2012
Understanding the ways in which information achieves widespread public awareness is a research question of significant interest. We consider whether, and how, the way in which th...
164
click to vote
TMC
2012
13 years 6 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...
176
click to vote
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
195
click to vote
ANCS
2009
ACM
15 years 2 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...