3224 search results - page 368 / 645 » Abstract Error Projection |
183
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
163
click to vote
ARCS
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
124
click to vote
COLT
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract— We prove that given a nearly log-concave distribution, in any partition of the space to two well separated sets, the measure of the points that do not belong to these s...
176
click to vote
ISAAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the problem of maintaining a (1+ )-factor approximation of the diameter of a stream of points under the sliding window model. In one dimension, we give a simple ...
192
click to vote
MLMI
2004
Springer
15 years 12 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...