1418 search results - page 243 / 284 » Schema polynomials and applications |
ISSS
1999
IEEE
14 years 23 days ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
MICCAI
1999
Springer
14 years 23 days ago
1999
Springer
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
KR
1998
Springer
14 years 21 days ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
DAC
1996
ACM
14 years 19 days ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
FSTTCS
1993
Springer
14 years 18 days ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...