783 search results - page 55 / 157 » Bridging the Gaps |
MKM
2004
Springer
14 years 4 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
CGI
2003
IEEE
14 years 4 months ago
2003
IEEE
We present a new method for the restoration of digitized photographs. Restoration in this context refers to removal of image defects such as scratches and blotches as well as to r...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
Despite all the attempts of modern information technology to supplant paper by sophisticated electronic devices, paper is still omnipresent in virtually any office environment. W...
RSP
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
SAC
2003
ACM
14 years 4 months ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...