Sciweavers

3974 search results - page 216 / 795
» Metric Functional Dependencies
Sort
View
P2P
2005
IEEE
15 years 10 months ago
Finding Rare Data Objects in P2P File-Sharing Systems
Peer-to-peer file-sharing systems have hundreds of thousands of users sharing petabytes of data, however, their search functionality is limited. In general, query results contain...
Wai Gen Yee, Dongmei Jia, Ophir Frieder
COMPGEOM
2005
ACM
15 years 6 months ago
Stability of persistence diagrams
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
David Cohen-Steiner, Herbert Edelsbrunner, John Ha...
IV
2008
IEEE
105views Visualization» more  IV 2008»
15 years 11 months ago
A Dual-View Visualization of In-Car Communication Processes
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
Michael Sedlmair, Wolfgang Hintermaier, Konrad Sto...
CADE
1998
Springer
15 years 8 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
DICTA
2007
15 years 6 months ago
The Tower of Knowledge Scheme for Learning in Computer Vision
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
Maria Petrou, Mai Xu