Sciweavers

2949 search results - page 495 / 590
» Universal Sparse Modeling
Sort
View
SRDS
2003
IEEE
14 years 2 months ago
Autonomous Replication for High Availability in Unstructured P2P Systems
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...
Francisco Matias Cuenca-Acuna, Richard P. Martin, ...
ELPUB
2003
ACM
14 years 2 months ago
Building a Federated, Online Social Sciences and Humanities Database of Journals and Research Communication: A Canadian Initiati
: Synergies is an emerging online Canadian publishing project in the social sciences and humanities that builds on a group of online publishing initiatives that have emerged over t...
Rowland Lorimer, Richard Smith
IMC
2003
ACM
14 years 2 months ago
Variability in TCP round-trip times
We measured and analyzed the variability in round trip times (RTTs) within TCP connections using passive measurement techniques. We collected eight hours of bidirectional traces c...
Jay Aikat, Jasleen Kaur, F. Donelson Smith, Kevin ...
ISMAR
2002
IEEE
14 years 2 months ago
Fata Morgana - A Presentation System for Product Design
Mobile Augmented Reality applications promise substantial savings in time and costs for product designers, in particular, for large products requiring scale models and expensive c...
Gudrun Klinker, Allen H. Dutoit, Martin Bauer, Joh...
TPHOL
2002
IEEE
14 years 2 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye