6274 search results - page 489 / 1255 » From query complexity to computational complexity |
185
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
—Despite extensive research focused on enabling QoS for grid users through economic and intelligent resource provisioning, no consensus has emerged on the most promising strategi...
180
click to vote
IEEEPACT
2006
IEEE
16 years 29 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
177
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Location awareness and mobility are main factors in pervasive computing. There is a lot of work focusing on develop location aware applications. Generalizing from location awarene...
171
click to vote
RELMICS
1998
Springer
15 years 11 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
155
click to vote
ISMVL
1994
IEEE
15 years 11 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...