231 search results - page 28 / 47 » A Brief Overview of HOL4 |
ETS
2002
IEEE
13 years 8 months ago
2002
IEEE
This article presents an overview of selected general delivery options (e.g., videoconferencing, online learning, etc.) and specific software applications for developing and deliv...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
Manual reconstruction of ripped-up documents can be a very difficult and time-consuming task. This paper discusses a semi-automatic toolset that can be used for reconstructing rip...
TVCG
2012
11 years 11 months ago
2012
—A fundamental goal of visualization is to produce images of data that support visual analysis, exploration, and discovery of novel insights. An important consideration during vi...
JCIT
2010
13 years 3 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
TIT
2010
13 years 3 months ago
2010
We directly lower bound the information capacity for channels with i.i.d. deletions and duplications. Our approach differs from previous work in that we focus on the information ca...