Sciweavers

1893 search results - page 223 / 379
» Computational composites
Sort
View
AIPR
2005
IEEE
14 years 4 months ago
Discretization Error Based Mesh Generation for Diffuse Optical Tomography
In this paper, we analyze the perturbation in the reconstructed optical absorption images, resulting from the discretization of the forward and inverse problems. We show that the ...
Murat Guven, Birsen Yazici, Kiwoon Kwon, Eldar Gil...
PPOPP
2005
ACM
14 years 4 months ago
Composable memory transactions
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
Tim Harris, Simon Marlow, Simon L. Peyton Jones, M...
ACIVS
2005
Springer
14 years 4 months ago
Interactive Object-Based Retrieval Using Relevance Feedback
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
Sorin Sav, Hyowon Lee, Noel E. O'Connor, Alan F. S...
DSVIS
2005
Springer
14 years 4 months ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
FOSSACS
2005
Springer
14 years 4 months ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld