Sciweavers

7921 search results - page 52 / 1585
» LSH-preserving functions and their applications
Sort
View
CAISE
1999
Springer
14 years 2 months ago
Towards a Classification Framework for Application Granularity in Workflow Management Systems
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
Jörg Becker, Michael zur Muehlen
MICCAI
2002
Springer
14 years 10 months ago
RBF-Based Representation of Volumetric Data: Application in Visualization and Segmentation
A new scheme of data-driven segmentation is proposed, which is based on detection of object boundary, and volumetric pattern reconstruction as implicit function by using the detect...
Yoshitaka Masutani
AAMAS
2011
Springer
13 years 1 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
John W. Lloyd, Kee Siong Ng
DATE
2008
IEEE
138views Hardware» more  DATE 2008»
14 years 4 months ago
Functional Self-Testing for Bus-Based Symmetric Multiprocessors
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
Andreas Apostolakis, Dimitris Gizopoulos, Mihalis ...
JFP
2006
91views more  JFP 2006»
13 years 10 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary