8874 search results - page 390 / 1775 » A New Implementation of Automath |
141
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
148
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
161
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we propose a new grid conversion algorithm between the hexagonal lattice and the orthogonal (a.k.a. Cartesian) lattice. The conversion process, named H2O, is easy to...
152
Voted
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper proposes a new task selection method for multi-task communication robots. As robot technology improves, communication robots are being used in public places. These co...
152
click to vote
UM
2007
Springer
16 years 29 days ago
2007
Springer
Despite the growing popularity of user modeling servers, little attention has been paid to optimizing and evaluating the performance of these servers. We argue that implementation ...