8874 search results - page 104 / 1775 » A New Implementation of Automath |
128
click to vote
WEBDB
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe the design and initial implementation of a geographic search engine prototype for Germany, based on a large crawl of the de domain. Geographic search en...
150
Voted
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
177
Voted
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
174
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
The grid computing paradigm emerged recently as a new field distinguished from traditional distributed computing because of its focus on large-scale resource sharing and innovativ...
132
Voted
SYSTOR
2010
ACM
15 years 8 months ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...