Sciweavers

2487 search results - page 66 / 498
» Automatic Model Selection by Modelling the Distribution of R...
Sort
View
FMOODS
2007
14 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
14 years 10 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
SIGPLAN
1998
14 years 9 months ago
Java and Distributed Object Models: An Analysis
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
Marjan Hericko, Matjaz B. Juric, Ales Zivkovic, Iv...
ISBI
2006
IEEE
15 years 10 months ago
Iterative finite element deformable model for nonrigid coregistration of multimodal breast images
We have developed a nonrigid registration technique applicable to breast tissue imaging. It relies on a finite element method (FEM) model and a set of fiducial skin markers (FSMs)...
Alphonso Magri, Andrzej Król, David H. Feig...
ICASSP
2007
IEEE
15 years 4 months ago
Hash-Based Motion Modeling in Wyner-Ziv Video Coding
Generally, Distributed video coding (DVC) schemes perform motion estimation at the decoder side, without the current frame being available. In order to generate the side-informati...
Marco Tagliasacchi, Stefano Tubaro