998 search results - page 120 / 200 » From Feasible Proofs to Feasible Computations |
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...
WEBDB
2009
Springer
14 years 4 months ago
2009
Springer
We study the problem of automatically discovering semantic associations between schema elements, namely foreign keys. This problem is important in all applications where data sets...
KIVS
2009
Springer
14 years 4 months ago
2009
Springer
We introduce an adaptive pacing scheme to overcome the drawbacks of TCP in wireless mesh networks with Internet connectivity. The pacing scheme is implemented at the wireless TCP s...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...