8196 search results - page 290 / 1640 » Computational Modeling and Complexity Science |
175
Voted
COLT
1993
Springer
15 years 10 months ago
1993
Springer
We describe three applications in computational learning theory of techniques and ideas recently introduced in the study of parameterized computational complexity. (1) Using param...
178
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
167
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
146
click to vote
FOSSACS
2007
Springer
16 years 24 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
185
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...