556 search results - page 43 / 112 » Checking Interval Properties of Computations |
147
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
153
Voted
AGP
1994
IEEE
15 years 8 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
134
Voted
LWA
2007
15 years 6 months ago
2007
This paper describes the application of machine learning methods to determine parameters for DeLite, a readability checking tool. DeLite pinpoints text segments that are difficul...
139
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
128
click to vote
MDM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...