8874 search results - page 168 / 1775 » A New Implementation of Automath |
155
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
123
click to vote
IJVR
2006
15 years 4 months ago
2006
Three-dimensional user interfaces (3D UIs) support user tasks in many non-traditional interactive systems such as virtual environments, augmented reality, and ubiquitous computing...
134
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Currently, the increasing rate of routing lookups in Internet routers, the large number of prefixes and also the transition from IPV4 to IPV6, have caused Internet designers to pro...
153
click to vote
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Cache blocks often exhibit a small number of uses during their life time in the last-level cache. Past research has exploited this property in two different ways. First, replacem...
118
click to vote
ICNS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a new end-to-end available bandwidth measurement tool called IGMPS (Improved Gap Model using Packet Size parameter). IGMPS is a lightweight tool based on a ...