Sciweavers

7430 search results - page 1069 / 1486
» Programming Applications in CIFF
Sort
View
IDA
2005
Springer
16 years 9 days ago
Combining Bayesian Networks with Higher-Order Data Representations
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
Elias Gyftodimos, Peter A. Flach
IDA
2005
Springer
16 years 9 days ago
A Knowledge-Based Model for Analyzing GSM Network Performance
Abstract. In this paper, a method to analyze GSM network performance on the basis of massive data records and application domain knowledge is presented. The available measurements ...
Pasi Lehtimäki, Kimmo Raivio
MIDDLEWARE
2005
Springer
16 years 9 days ago
Generic Middleware Substrate Through Modelware
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
NPC
2005
Springer
16 years 9 days ago
A Performance-Based Parallel Loop Self-scheduling on Grid Computing Environments
Efficient loop scheduling on parallel and distributed systems depends mostly on load balancing, especially on heterogeneous PC-based cluster and grid computing environments. In thi...
Wen-Chung Shih, Chao-Tung Yang, Shian-Shyong Tseng
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 9 days ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
« Prev « First page 1069 / 1486 Last » Next »