Sciweavers

170 search results - page 26 / 34
» A Stochastic Method for Solving Inverse Problems in Epidemic...
Sort
View
CONCUR
1999
Springer
14 years 1 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
ICIP
2003
IEEE
14 years 10 months ago
A hierarchical statistical modeling approach for the unsupervised 3D reconstruction of the scoliotic spine
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...
PAMI
2010
190views more  PAMI 2010»
13 years 3 months ago
Linear Regression for Face Recognition
In this paper, we present a novel approach of face identification by formulating the pattern recognition problem in terms of linear regression. Using a fundamental concept that pat...
Imran Naseem, Roberto Togneri, Mohammed Bennamoun
GECCO
2007
Springer
215views Optimization» more  GECCO 2007»
14 years 22 days ago
Finding safety errors with ACO
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
Enrique Alba, J. Francisco Chicano
ATAL
2006
Springer
14 years 18 days ago
Resource allocation among agents with preferences induced by factored MDPs
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...
Dmitri A. Dolgov, Edmund H. Durfee