4690 search results - page 164 / 938 » An operational semantics for Scheme |
190
click to vote
ACIVS
2006
Springer
2006
Springer
Constrained Region-Growing and Edge Enhancement Towards Automated Semantic Video Object Segmentation
15 years 10 months ago
Most existing object segmentation algorithms suffer from a so-called under-segmentation problem, where parts of the segmented object are missing and holes often occur inside the ob...
184
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
183
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
171
click to vote
ECAI
2006
Springer
15 years 10 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...
144
click to vote
VMV
2008
15 years 8 months ago
2008
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...