Sciweavers

5165 search results - page 853 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
CIKM
2006
Springer
15 years 7 months ago
Describing differences between databases
We study the novel problem of efficiently computing the update distance for a pair of relational databases. In analogy to the edit distance of strings, we define the update distan...
Heiko Müller, Johann Christoph Freytag, Ulf L...
123
Voted
CLEAR
2006
Springer
116views Biometrics» more  CLEAR 2006»
15 years 7 months ago
Multi-and Single View Multiperson Tracking for Smart Room Environments
Abstract. Simultaneous tracking of multiple persons in real world environments is an active research field and several approaches have been proposed, based on a variety of features...
Keni Bernardin, Tobias Gehrig, Rainer Stiefelhagen
CLUSTER
2006
IEEE
15 years 7 months ago
Modeling Network Contention Effects on All-to-All Operations
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
Luiz Angelo Steffenel
FDL
2004
IEEE
15 years 7 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
COLT
2006
Springer
15 years 7 months ago
Learning Rational Stochastic Languages
Given a finite set of words w1, . . . , wn independently drawn according to a fixed unknown distribution law P called a stochastic language, an usual goal in Grammatical Inference ...
François Denis, Yann Esposito, Amaury Habra...