16430 search results - page 339 / 3286 » On Computable Tree Functions |
161
click to vote
ICDCSW
2003
IEEE
15 years 10 months ago
2003
IEEE
Power conservation is a critical issue for ad hoc wireless networks. The main objective of the paper is to find the minimum uniform transmission power of an ad hoc wireless netwo...
150
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Buffer insertion has become a critical step in deep submicron design, and several buffer insertion/sizing algorithms have been proposed in the literature. However, most of these m...
147
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
166
click to vote
WABI
2010
Springer
15 years 3 months ago
2010
Springer
The center string (or closest string) problem is a classical computer science problem with important applications in computational biology. Given k input strings and a distance thr...
151
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Brain aneurysm rupture has been reported to be directly related to the size of aneurysms. The current method used to determine aneurysm size is to manually measure the width of th...