Sciweavers

2819 search results - page 64 / 564
» Associative Omega-product of Processes
Sort
View
VLSID
2008
IEEE
225views VLSI» more  VLSID 2008»
15 years 10 months ago
Formal Verification of a Public-Domain DDR2 Controller Design
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
Abhishek Datta, Vigyan Singhal
MUC
1992
15 years 1 months ago
GE adjunct test report: object-oriented design and scoring for MUC-4
This paper reports on the results of the adjunct test performed by GE for the MUC-4 evaluation of text processing systems . In this test, we evaluated the effect of an object-orie...
George B. Krupka, Lisa F. Rau
MIE
2008
112views Healthcare» more  MIE 2008»
14 years 11 months ago
Mining Knowledge from Corpora: an Application to Retrieval and Indexing
The present work aims at discovering new associations between medical concepts to be exploited as input in retrieval and indexing. Material and Methods: Association rules method is...
Lina Fatima Soualmia, Badisse Dahamna, Stéf...
HICSS
2006
IEEE
129views Biometrics» more  HICSS 2006»
15 years 3 months ago
Improving the Response Time of Business Processes: An Alert-Based Analytical Approach
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...
Eleanna Kafeza, Dickson K. W. Chiu, Kamalakar Karl...
MODELS
2007
Springer
15 years 4 months ago
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
Stefan Christov, Bin Chen, George S. Avrunin, Lori...