8874 search results - page 163 / 1775 » A New Implementation of Automath |
126
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...
149
click to vote
EDBT
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we present our approach towards a modularized database management system (DBMS) whose components can be adapted at runtime and show the modularization of a DBMS bene...
113
click to vote
HCI
2007
15 years 5 months ago
2007
In this paper, we developed a fingertip finding algorithm working with a regular diffuser. The proposed algorithm works on images captured by infra-red cameras, settled on one side...
118
click to vote
HPN
1998
15 years 5 months ago
1998
With the grown popularity of the Internet and the increasing use of business and multimedia applications the users' demand for higher and more predictable quality of service ...
130
click to vote
DEXAW
2010
IEEE
15 years 5 months ago
2010
IEEE
Internet is a huge source of information. Search engines have indexed much of this information and are able to extract the relevant webpages that are related to a given query. Howe...