13383 search results - page 2390 / 2677 » Abstractions from proofs |
133
Voted
ECML
2005
Springer
15 years 9 months ago
2005
Springer
ABSTRACT. Estimating a non-uniformly sampled function from a set of learning points is a classical regression problem. Kernel methods have been widely used in this context, but eve...
157
click to vote
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a novel approach to analyze the appearance of human motions with a simple model i.e. mapping the motions using a virtual marionette model. The approac...
138
Voted
ESA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
117
click to vote
FC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...
142
Voted
HIPEAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...