Sciweavers

1517 search results - page 196 / 304
» On automatic knowledge validation for Bayesian knowledge bas...
Sort
View
PASTE
2004
ACM
14 years 2 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
IUI
2000
ACM
14 years 1 months ago
Extending software through metaphors and metonymies
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
Simone Diniz Junqueira Barbosa, Clarisse Sieckeniu...
ACSE
1996
ACM
14 years 1 months ago
Collaborative hypermedia education with the VIENA classroom system
VIENA Classroom is a collaborative hypermedia education system which is a component of the Virtual Interactive Environment for Workgroups (VIEW), a collaborative environment based...
Werner Winiwarter, Osami Kagawa, Shin'ichi Konomi,...
EMNLP
2006
13 years 10 months ago
Unsupervised Information Extraction Approach Using Graph Mutual Reinforcement
Information Extraction (IE) is the task of extracting knowledge from unstructured text. We present a novel unsupervised approach for information extraction based on graph mutual r...
Hany Hassan, Ahmed Hassan, Ossama Emam
IJAR
2006
92views more  IJAR 2006»
13 years 9 months ago
Possibilistic clustering approach to trackless ring Pattern Recognition in RICH counters
The pattern recognition problem in Ring Imaging CHerenkov (RICH) counters concerns the identification of an unknown number of rings whose centers and radii are assumed to be unkno...
A. M. Massone, Léonard Studer, Francesco Ma...