13489 search results - page 109 / 2698 » Self-migration of operating systems |
130
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
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 ...
149
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
147
click to vote
CSI
2007
15 years 4 months ago
2007
The Unified Modeling Language (UML) is being used as the de-facto standard in the software industry. With the adoption of UML 2.0, the new enhancements allow this version to desc...
104
click to vote
SIAMMA
2010
14 years 11 months ago
2010
In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order 2 with cons...
160
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...