Sciweavers

488 search results - page 16 / 98
» On the Formal Generation of Process Redesigns
Sort
View
MEMOCODE
2010
IEEE
14 years 9 months ago
Feldspar: A domain specific language for digital signal processing algorithms
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
Emil Axelsson, Koen Claessen, Gergely Dévai...
HICSS
2010
IEEE
149views Biometrics» more  HICSS 2010»
15 years 6 months ago
Changing the Perspective: Improving Generate thinkLets for Ideation
Creativity techniques provide a variety of approaches for supporting an ideation process. These techniques can be executed using a Group Support System (GSS), thus allowing the id...
Stefan Werner Knoll, Graham Horton
TJS
2008
105views more  TJS 2008»
14 years 11 months ago
Using a relational database for scalable XML search
XML is a flexible and powerful tool that enables information and security sharing in heterogeneous environments. Scalable technologies are needed to effectively manage the growing...
Rebecca Cathey, Steven M. Beitzel, Eric C. Jensen,...
DATAMINE
2006
117views more  DATAMINE 2006»
14 years 11 months ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...
101
Voted
SIMULATION
2008
139views more  SIMULATION 2008»
14 years 11 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...