1127 search results - page 185 / 226 » Theory Extension in ACL2(r) |
188
click to vote
TCS
2002
15 years 5 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
156
click to vote
TIT
2002
15 years 5 months ago
2002
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
211
click to vote
PAMI
2007
15 years 5 months ago
2007
—This paper presents a novel method for 3D surface reconstruction that uses polarization and shading information from two views. The method relies on the polarization data acquir...
264
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
195
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
A major obstacle that decreases the performance of text classifiers is the extremely high dimensionality of text data. To reduce the dimension, a number of approaches based on rou...