FLAIRS
2001
14 years 10 months ago
2001
A maximal prime subgraph decomposition junction tree (MPD-JT) is a useful computational structure that facilitates lazy propagation in Bayesian networks (BNs). A graphical method ...
FLAIRS
2001
14 years 10 months ago
2001
FLAIRS
2001
14 years 10 months ago
2001
FLAIRS
2001
14 years 10 months ago
2001
FLAIRS
2001
14 years 10 months ago
2001
FLAIRS
2001
14 years 10 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
FLAIRS
2001
14 years 10 months ago
2001
In this paper, weproposeseveral principles that enable the automatic transformation of WordNet into a coarser grained dictionary, withoutaffecting its existing semanticrelations. ...
FLAIRS
2001
14 years 10 months ago
2001
FLAIRS
2001
14 years 10 months ago
2001
For several years wehave been pursuing a vision of knowledgeon demand,the ability for all users to access knowledgeregardlessof time, location, deviceor level of expertise. This p...
FLAIRS
2001
14 years 10 months ago
2001
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...