Sciweavers

924 search results - page 77 / 185
» One Application of the Parallelization Tool of Master-Slave ...
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 2 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
ICIP
2004
IEEE
15 years 11 months ago
A smart camera for face recognition
There is a rapidly growing demand for using smart cameras for various biometric applications in surveillance. Although having a small form-factor, most of these applications deman...
Ben J. A. Kröse, Harry Broers, Martijn Reuver...
CONCURRENCY
2002
99views more  CONCURRENCY 2002»
14 years 9 months ago
A distributed computing environment for interdisciplinary applications
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
Jerry A. Clarke, Raju R. Namburu
IS
2007
14 years 9 months ago
Business process mining: An industrial application
Contemporary information systems (e.g., WfM, ERP, CRM, SCM, and B2B systems) record business events in so-called event logs. Business process mining takes these logs to discover p...
Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M....
TCAD
2008
90views more  TCAD 2008»
14 years 9 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch