1127 search results - page 115 / 226 » Theory Extension in ACL2(r) |
154
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
We propose a universal synchronization scheme for distributed audio-video capture on heterogeneous computing devices such as laptops, tablets, PDAs, cellular phones, audio recorde...
166
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
186
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
132
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. To convert an interlaced video into a progressive one effectively, de-interlacing techniques have been developed. However, existing de-interlacing techniques can not per...
169
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...