7776 search results - page 193 / 1556 » Maintaining Maintainability |
133
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
Abstract. This paper introduces a novel groupwise data-driven algorithm for non-rigid registration. The motivation behind the algorithm is to enable the analysis of groups of regis...
171
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We track a large set of "rapidly" changing web pages and examine the assumption that the arrival of content changes follows a Poisson process on a microscale. We demonst...
133
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we describe a capture-recapture experiment conducted on Google's and MSN's cached directories. The anticipated outcome of this work was to monitor evoluti...
113
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
252
Voted
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...