Sciweavers

2297 search results - page 151 / 460
» An Algorithm for Computing the Integral Closure
Sort
View
CONCUR
1999
Springer
15 years 6 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...
CCGRID
2009
IEEE
15 years 9 months ago
Developing Scheduling Policies in gLite Middleware
We describe our experiences from implementing and integrating a new job scheduling algorithm in the gLite Grid middleware and present experimental results that compare it to the e...
A. Kretsis, Panagiotis C. Kokkinos, Emmanouel A. V...
115
Voted
PPSN
2004
Springer
15 years 7 months ago
Multi-objective Optimisation by Co-operative Co-evolution
This paper presents the integration between a co-operative co-evolutionary genetic algorithm (CCGA) and four evolutionary multiobjective optimisation algorithms (EMOAs): a multi-ob...
Kuntinee Maneeratana, Kittipong Boonlong, Nachol C...
ICCV
2007
IEEE
16 years 4 months ago
Deformable Image Mosaicing for Optical Biopsy
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
Kevin E. Loewke, David B. Camarillo, Kenneth Salis...
ICRA
2006
IEEE
223views Robotics» more  ICRA 2006»
15 years 8 months ago
Real-time 3D Model-based Tracking: Combining Edge and Texture Information
— This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A non linear minimization approach is used to register 2D and 3D cues for monocular 3D...
Muriel Pressigout, Éric Marchand