Sciweavers

206 search results - page 17 / 42
» kais 2007
Sort
View
WSC
2007
13 years 10 months ago
Analyzing air combat simulation results with dynamic Bayesian networks
In this paper, air combat simulation data is reconstructed into a dynamic Bayesian network. It gives a compact probabilistic model that describes the progress of air combat and al...
Jirka Poropudas, Kai Virtanen
IAT
2008
IEEE
14 years 2 months ago
An Analysis of Entries in the First TAC Market Design Competition
This paper presents an analysis of entries in the first TAC Market Design Competition that compares the entries across several scenarios. The analysis complements previous work a...
Jinzhong Niu, Kai Cai, Peter McBurney, Simon Parso...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
14 years 1 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ICMLA
2007
13 years 9 months ago
A Clustering-Based Approach to Predict Outcome in Cancer Patients
Abstract—The TNM (Tumor, Lymph Node, Metastasis) is a widely used staging system for predicting the outcome of cancer patients. However, the TNM is not accurate in prediction, pa...
Kai Xing, Donald Henson, Dechang Chen, Li Sheng
ICONIP
2007
13 years 9 months ago
Classification of Documents Based on the Structure of Their DOM Trees
In this paper, we discuss kernels that can be applied for the classification of XML documents based on their DOM trees. DOM trees are ordered trees in which every node might be la...
Peter Geibel, Olga Pustylnikov, Alexander Mehler, ...