8874 search results - page 138 / 1775 » A New Implementation of Automath |
116
click to vote
WOWMOM
2009
ACM
15 years 10 months ago
2009
ACM
The anticipated deployment of IEEE 802.16-based wireless metropolitan area networks (WMANs) will usher a new era in broadband wireless communications. The adoption of the WiMAX te...
126
click to vote
BIBM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
125
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Client-side file caching has long been recognized as a file system enhancement to reduce the amount of data transfer between application processes and I/O servers. However, cach...
155
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
170
click to vote
ISMAR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a new interaction metaphor we have termed “god-like interaction”. This is a metaphor for improved communication of situational and navigational information...