16430 search results - page 282 / 3286 » On Computable Tree Functions |
133
click to vote
TPLP
2008
15 years 4 months ago
2008
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
171
click to vote
ECRTS
2002
IEEE
15 years 9 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
135
click to vote
SIROCCO
2004
15 years 6 months ago
2004
Path Layout is a fundamental graph problem in label switching protocols. This problem is raised in various protocols such as the traditional ATM protocol and MPLS which is a new l...
155
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
The goal in image segmentation is to label pixels in an image based on the properties of each pixel and its surrounding region. Recently Content-Based Image Retrieval (CBIR) has e...
158
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...