Sciweavers

4353 search results - page 706 / 871
» Computational Challenges of Systems Biology
Sort
View
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ICDCS
2010
IEEE
15 years 10 months ago
Sifting through Network Data to Cull Activity Patterns with HEAPs
—Today’s large campus and enterprise networks are characterized by their complexity, i.e. containing thousands of hosts, and diversity, i.e. with various applications and usage...
Esam Sharafuddin, Yu Jin, Nan Jiang, Zhi-Li Zhang
SIGGRAPH
2010
ACM
15 years 10 months ago
Motion-based video retargeting with optimized crop-and-warp
We introduce a video retargeting method that achieves high-quality resizing to arbitrary aspect ratios for complex videos containing diverse camera and dynamic motions. Previous c...
Yu-Shuen Wang, Hui-Chih Lin, Olga Sorkine, Tong-Ye...
CCGRID
2004
IEEE
15 years 10 months ago
Unifier: unifying cache management and communication buffer management for PVFS over InfiniBand
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...
Jiesheng Wu, Pete Wyckoff, Dhabaleswar K. Panda, R...
BIRTHDAY
2006
Springer
15 years 10 months ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong