Sciweavers

2014 search results - page 338 / 403
» A P2P Approach for Global Computing
Sort
View
CP
2009
Springer
15 years 4 months ago
Why Cumulative Decomposition Is Not as Bad as It Sounds
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, M...
IPMI
2009
Springer
15 years 4 months ago
Smooth 3-D Reconstruction for 2-D Histological Images
We present an image driven approach to the reconstruction of 3-D volumes from stacks of 2-D post-mortem sections (histology, cryoimaging, autoradiography or immunohistochemistry) i...
Amalia Cifor, Tony P. Pridmore, Alain Pitiot
CODES
2009
IEEE
15 years 4 months ago
On compile-time evaluation of process partitioning transformations for Kahn process networks
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
Sjoerd Meijer, Hristo Nikolov, Todor Stefanov
ICDAR
2009
IEEE
15 years 4 months ago
Devanagari and Bangla Text Extraction from Natural Scene Images
With the increasing popularity of digital cameras attached with various handheld devices, many new computational challenges have gained significance. One such problem is extractio...
Ujjwal Bhattacharya, Swapan K. Parui, Srikanta Mon...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 4 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan