15033 search results - page 288 / 3007 » Complexity Theory and Algorithms |
158
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
148
Voted
IS
2008
15 years 5 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
137
click to vote
JCC
2006
15 years 5 months ago
2006
: Electronic mechanism of the reversible O2 binding by heme was studied by using Density Functional Theory calculations. The ground state of oxyheme was calculated to be open singl...
122
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
117
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...