385 search results - page 35 / 77 » constraints 1999 |
ERSHOV
1999
Springer
15 years 2 months ago
1999
Springer
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that h...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Packet switching in connection-oriented networks that may have multiple parallel links between pairs of switches is considered. An e cient packet-scheduling algorithm that guarant...
ICIAP
1999
ACM
15 years 2 months ago
1999
ACM
In this paper, a new deformable contour method derived from a constrained contour energy minimization framework is presented. By imposing a constraint of region, which can be any ...
SCALESPACE
1999
Springer
15 years 2 months ago
1999
Springer
We develop on estimation method, for the derivative field of an image based on Bayesian approach which is formulated in a geometric way. The Maximum probability configuration of ...