Sciweavers

4767 search results - page 755 / 954
» Structures for Abstract Rewriting
Sort
View
ASPDAC
2007
ACM
146views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Practical Implementation of Stochastic Parameterized Model Order Reduction via Hermite Polynomial Chaos
Abstract-- This paper describes the stochastic model order reduction algorithm via stochastic Hermite Polynomials from the practical implementation perspective. Comparing with exis...
Yi Zou, Yici Cai, Qiang Zhou, Xianlong Hong, Sheld...
BIRTHDAY
2007
Springer
14 years 2 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
CAIP
2009
Springer
248views Image Analysis» more  CAIP 2009»
14 years 2 months ago
Rapid Inference of Object Rigidity and Reflectance Using Optic Flow
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
Di Zang, Katja Doerschner, Paul R. Schrater
CEC
2007
IEEE
14 years 2 months ago
Topology management in unstructured P2P networks using neural networks
Abstract-- Resource discovery is an essential problem in peerto-peer networks since there is no centralized index in which to look for information about resources. In a pure P2P ne...
Annemari Auvinen, Teemu Keltanen, Mikko Vapa
PAKDD
2010
ACM
175views Data Mining» more  PAKDD 2010»
14 years 2 months ago
EigenSpokes: Surprising Patterns and Scalable Community Chipping in Large Graphs
Abstract. We report a surprising, persistent pattern in large sparse social graphs, which we term EigenSpokes. We focus on large Mobile Call graphs, spanning about 186K nodes and m...
B. Aditya Prakash, Ashwin Sridharan, Mukund Seshad...