483 search results - page 75 / 97 » Parikh Mapping and Iteration |
128
Voted
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
174
Voted
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
133
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
191
click to vote
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
134
Voted
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...