798 search results - page 74 / 160 » Interval Methods: An Introduction |
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...
AAAI
2007
13 years 11 months ago
2007
This paper reports on our recent work on modeling and automatically extracting vague, implicit event durations from text (Pan et al., 2006a, 2006b). It is a kind of commonsense kn...
EUSFLAT
2001
13 years 10 months ago
2001
In this paper we present a new approach to incremental user recognition in fuzzy environments where user classification is updated within an epistemological model. We extend Einho...
SDL
2001
13 years 10 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
AUTOMATICA
2007
13 years 9 months ago
2007
Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmical...