Sciweavers

6757 search results - page 116 / 1352
» Knowledge Analysis on Process Models
Sort
View
FSTTCS
2003
Springer
15 years 10 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
ICCAD
2003
IEEE
205views Hardware» more  ICCAD 2003»
15 years 10 months ago
Statistical Timing Analysis for Intra-Die Process Variations with Spatial Correlations
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
Aseem Agarwal, David Blaauw, Vladimir Zolotov
ANLP
1992
126views more  ANLP 1992»
15 years 5 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe
AIME
2005
Springer
15 years 10 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
ICTAI
2009
IEEE
15 years 11 months ago
Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...
Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung