FLAIRS
2001
13 years 5 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
13 years 5 months ago
2001
FLAIRS
2001
13 years 5 months ago
2001
FLAIRS
2001
13 years 5 months ago
2001
FLAIRS
2001
13 years 5 months ago
2001
FLAIRS
2001
13 years 5 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
FLAIRS
2001
13 years 5 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
13 years 5 months ago
2001
FLAIRS
2001
13 years 5 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
13 years 5 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...