8828 search results - page 423 / 1766 » Formal methods in practice |
192
click to vote
CVPR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
197
click to vote
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Mutual Information (MI) is a powerful concept from information theory used in many application fields. For practical tasks it is often necessary to estimate the Mutual In...
187
click to vote
JSSPP
2005
Springer
16 years 11 days ago
2005
Springer
Recently HP Labs engaged in a joint project with DreamWorks Animation to develop a Utility Rendering Service that was used to render part of the computer-animated feature film Shr...
270
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
196
click to vote
CIKM
2004
Springer
16 years 8 days ago
2004
Springer
Peer-to-peer Data Networks (PDNs) are large-scale, selforganizing, distributed query processing systems. Familiar examples of PDN are peer-to-peer file-sharing networks, which su...