14121 search results - page 758 / 2825 » Interval Computations in Computer Vision |
170
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
171
click to vote
RC
2002
15 years 7 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
174
click to vote
RC
2007
15 years 7 months ago
2007
Linear systems whose coefficients have large uncertainties arise routinely in finite element calculations for structures with uncertain geometry, material properties, or loads. Ho...
171
click to vote
FOCM
2010
15 years 6 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
206
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes the design, implementation and deployment of a wireless sensor system for athletes. The system is designed to profile sprints based on input from on-body senso...