811 search results - page 80 / 163 » Integrating Formal Description Techniques |
104
click to vote
ICML
1996
IEEE
16 years 20 days ago
1996
IEEE
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
117
click to vote
CMSB
2007
Springer
15 years 6 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
AINA
2005
IEEE
15 years 5 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
123
click to vote
IDEAS
2003
IEEE
15 years 5 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...