1042 search results - page 136 / 209 » Failing First: An Update |
CC
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
DILS
2005
Springer
14 years 3 months ago
2005
Springer
BioMediator is a data integration system that provides a common interface to multiple Internet-accessible databases containing information about genetics and molecular biology. Ont...
ICIAR
2005
Springer
14 years 3 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
PCM
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we propose a scheme for ball detection and tracking in broadcast soccer video. There are two alternate procedures in the scheme: ball detection and ball tracking. In ...
SAT
2005
Springer
14 years 3 months ago
2005
Springer
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simul...