Sciweavers

5608 search results - page 370 / 1122
» On the Theory of Matchgate Computations
Sort
View
ICDCS
2007
IEEE
15 years 10 months ago
Stratification in P2P Networks: Application to BitTorrent
We consider a model for decentralized collaborative networks that is based on stable matching theory. This model is applied to systems with a global ranking utility function, whic...
Anh-Tuan Gai, Fabien Mathieu, Fabien de Montgolfie...
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
ECML
2006
Springer
15 years 10 months ago
(Agnostic) PAC Learning Concepts in Higher-Order Logic
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...
Kee Siong Ng
RECOMB
2000
Springer
15 years 10 months ago
A compression algorithm for DNA sequences and its applications in genome comparison
We present a lossless compression algorithm, GenCompress, for genetic sequences, based on searching for approximate repeats. Our algorithm achieves the best compression ratios for...
Xin Chen, Sam Kwong, Ming Li
ACMDIS
2008
ACM
15 years 8 months ago
Games for virtual team building
Distributed teams are increasingly common in today's workplace. For these teams, face-to-face meetings where members can most easily build trust are rare and often cost-prohi...
Jason B. Ellis, Kurt Luther, Katherine Bessi&egrav...