15777 search results - page 2776 / 3156 » The Reformulation-Optimization Software Engine |
112
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Given an edge-weighted undirected graph G with a specified set of terminals, let the density of any subgraph be the ratio of its weight/cost to the number of terminals it contain...
163
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
124
click to vote
CSMR
2007
IEEE
15 years 5 months ago
2007
IEEE
We have performed an empirical case study, investigating defect-density and change-density of a reusable framework compared with one application reusing it over time at a large Oi...
174
click to vote
AC
2008
Springer
15 years 5 months ago
2008
Springer
Radio Frequency Identification or simply rfid has come to be an integral part of modern computing. Rfid is notable in that it is the first practical technology to tightly couple p...
143
click to vote
CACM
2008
15 years 5 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...