Sciweavers

3604 search results - page 393 / 721
» Relation rule mining
Sort
View
150
Voted
KI
1997
Springer
15 years 11 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
BIRTHDAY
2006
Springer
15 years 10 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker
ER
1995
Springer
120views Database» more  ER 1995»
15 years 10 months ago
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
Christian S. Jensen, Richard T. Snodgrass
WSC
2007
15 years 9 months ago
Duality in high level petri-nets: a basis to do diagnoses
In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new c...
Jörg R. Müller, Eckehard Schnieder
AI
2005
Springer
15 years 8 months ago
Incorporating Evidence in Bayesian Networks with the Select Operator
Abstract. In this paper, we propose that the select operator in relational databases be adopted for incorporating evidence in Bayesian networks. This approach does not involve the ...
Cory J. Butz, F. Fang