15614 search results - page 94 / 3123 » The State of State |
107
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
131
click to vote
MOBISYS
2009
ACM
16 years 1 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...
119
click to vote
PDPTA
2008
15 years 2 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...
101
click to vote
FLAIRS
2009
14 years 10 months ago
2009
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...
110
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
A possible alternative to fine topology tuning for Neural Network (NN) optimization is to use Echo State Networks (ESNs), recurrent NNs built upon a large reservoir of sparsely r...