Sciweavers

897 search results - page 46 / 180
» promise 2010
Sort
View
JOT
2010
96views more  JOT 2010»
14 years 8 months ago
UML Profiles for Modeling Real-Time Communication Protocols
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
Barath Kumar, Jürgen Jasperneite
JSC
2010
90views more  JSC 2010»
14 years 8 months ago
Modular Las Vegas algorithms for polynomial absolute factorization
Let f(X, Y ) ∈ Z[X, Y ] be an irreducible polynomial over Q. We give a Las Vegas absolute irreducibility test based on a property of the Newton polytope of f, or more precisely,...
Cristina Bertone, Guillaume Chèze, Andr&eac...
JUCS
2010
121views more  JUCS 2010»
14 years 8 months ago
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
Yang Xu, Jun Liu, Luis Martínez, Da Ruan
MICCAI
2010
Springer
14 years 8 months ago
Simultaneous Geometric - Iconic Registration
In this paper, we introduce a novel approach to bridge the gap between the landmark-based and the iconic-based voxel-wise registration methods. The registration problem is formulat...
Aristeidis Sotiras, Yangming Ou, Ben Glocker, Chri...
NCA
2010
IEEE
14 years 8 months ago
Genetic algorithm-based training for semi-supervised SVM
The Support Vector Machine (SVM) is an interesting classifier with excellent power of generalization. In this paper, we consider applying the SVM to semi-supervised learning. We p...
Mathias M. Adankon, Mohamed Cheriet