385 search results - page 35 / 77 » constraints 1999 |
ERSHOV
1999
Springer
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 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 ...