2713 search results - page 418 / 543 » Parameterized Tree Systems |
164
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
176
click to vote
ACCV
2006
Springer
16 years 10 days ago
2006
Springer
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
176
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
170
click to vote
IMC
2005
ACM
15 years 12 months ago
2005
ACM
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...
157
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...