4397 search results - page 732 / 880 » Relational Algebra Operations |
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
IIE
2008
14 years 11 months ago
2008
One of the biggest challenges that higher learning institutions face today is to improve the quality of managerial decisions. The managerial decision making process becomes more co...
IJAR
2008
14 years 11 months ago
2008
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
EOR
2006
14 years 11 months ago
2006
When two competing and incompatible products coexist in a market, potential users face a choice between the two products and the alternative of deferring the decision. This paper ...
FUIN
2006
14 years 11 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...