3557 search results - page 226 / 712 » Authoring Presentation for OpenMath |
127
click to vote
TITS
2008
15 years 6 months ago
2008
Abstract--With the objective of minimizing the total cost, which includes both sensor and congestion costs, the authors adopted a novel sampling theorem approach to address the pro...
174
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
132
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
As JPEG has become an international standard for image compression, we present techniques that allow the processing of an image in the JPEG-compressed" domain. The goal is to...
176
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital...
164
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Wikis are popular collaborative hypertext authoring environments, but they neither support structured access nor information reuse. Adding semantic annotations helps to address th...