22018 search results - page 4226 / 4404 » or 2004 |
178
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
163
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
183
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...
170
click to vote
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
265
click to vote
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...