Sciweavers

2192 search results - page 90 / 439
» Embedded function composition
Sort
View
PPDP
2009
Springer
14 years 5 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
14 years 3 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...
CVPR
2010
IEEE
14 years 7 months ago
Surface Extraction from Binary Volumes with Higher-Order Smoothness
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
Victor Lempitsky
ICIP
2007
IEEE
15 years 25 days ago
A Grey-Level Image Embedding its Color Palette
In this paper, we propose a method to embed the color information of an image in its corresponding grey-level image. The objective of this work is to allow free access to the grey...
Marc Chaumont, William Puech
WWW
2010
ACM
14 years 6 months ago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...