2957 search results - page 361 / 592 » Processing Self Corrections |
189
click to vote
IJDAR
2000
15 years 6 months ago
2000
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
166
click to vote
ENTCS
2002
15 years 6 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
141
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
161
click to vote
TOG
2002
15 years 6 months ago
2002
We describe a process for compositing a live performance of an actor into a virtual set wherein the actor is consistently illuminated by the virtual environment. The Light Stage u...
183
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Query optimization is a computationally intensive process, especially for complex queries. We present here a tool, called PLASTIC, that can be used by query optimizers to amortize...