483 search results - page 32 / 97 » Parikh Mapping and Iteration |
GRAPHICSINTERFACE
1996
13 years 8 months ago
1996
An interactive system for designing curved surfaces is proposed which is based on direct manipulation of a single-view shaded image of this surface. Apart from functions like carv...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose the combination of Orthogonal Frequency Division Multiplexing (OFDM) and Turbo DeCodulation (TDeC) – a multiple Turbo process consisting of iterative demodulation and...
ALC
1997
13 years 9 months ago
1997
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— To advance robotic science it is important to perform experiments that can be replicated by other researchers to compare different methods. However, these comparisons t...