1669 search results - page 132 / 334 » Structured Specification of Model Interpreters |
161
Voted
KDD
1995
ACM
15 years 7 months ago
1995
ACM
Probabilistic expert systemsbased on Bayesian networks(BNs)require initial specification both a qualitative graphical structure and quantitative assessmentof conditional probabili...
233
Voted
VLDB
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
133
Voted
ENTCS
2006
15 years 3 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
119
Voted
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
142
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...