Sciweavers

10412 search results - page 1453 / 2083
» The efficiency of algorithms - misconceptions
Sort
View
FSTTCS
2010
Springer
15 years 5 months ago
Global Escape in Multiparty Sessions
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
Sara Capecchi, Elena Giachino, Nobuko Yoshida
GLOBECOM
2010
IEEE
15 years 5 months ago
Prediction Assisted Single-Copy Routing in Underwater Delay Tolerant Networks
One challenge in delay tolerant networks (DTNs) is efficient routing, as the lack of contemporaneous end-to-end paths makes conventional routing schemes inapplicable. Many existing...
Zheng Guo, Bing Wang, Jun-Hong Cui
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
15 years 5 months ago
Reduction of interpolants for logic synthesis
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
John D. Backes, Marc D. Riedel
ICCVG
2010
15 years 5 months ago
A New Method for ECG Signal Feature Extraction
Abstract. The paper concentrates on electrocardiographic (ECG) signal analysis for the sake of acquiring proper heartbeat datasets for further detection and recognition of anomalie...
Adam Szczepanski, Khalid Saeed, Alois Ferscha
ICIP
2010
IEEE
15 years 5 months ago
Bayesian regularization of diffusion tensor images using hierarchical MCMC and loopy belief propagation
Based on the theory of Markov Random Fields, a Bayesian regularization model for diffusion tensor images (DTI) is proposed in this paper. The low-degree parameterization of diffus...
Siming Wei, Jing Hua, Jiajun Bu, Chun Chen, Yizhou...
« Prev « First page 1453 / 2083 Last » Next »