5333 search results - page 173 / 1067 » Evolution of the |
164
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The purpose of this paper is threefold. First, we study the evolution of the web based on data available from an earlier snapshot of the web and compare the results with those pre...
207
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Web pages contain a combination of unique content and template material, which is present across multiple pages and used primarily for formatting, navigation, and branding. We stu...
187
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Gene duplication has long been recognized as a major force in genome evolution and has recently been recognized as an important source of individual variation. For many years the o...
147
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
169
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...