Sciweavers

435 search results - page 23 / 87
» Using Colour to Model Outliers
Sort
View
CCGRID
2007
IEEE
14 years 2 months ago
Optimizing jobs timeouts on clusters and production grids
This paper presents a method to optimize the timeout value of computing jobs. It relies on a model of the job execution time that considers the job management system latency throu...
Tristan Glatard, Xavier Pennec
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
14 years 8 days ago
Registration of Range Data Using a Hybrid Simulated Annealing and Iterative Closest Point Algorithm
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
Jason P. Luck, Charles Q. Little, William Hoff
ISBI
2007
IEEE
14 years 2 months ago
Lesion Detection in Noisy Mr Brain Images Using Constrained Gmm and Active Contours
This paper focuses on the detection and segmentation of multiple sclerosis (MS) lesions in magnetic resonance images. The proposed method performs healthy tissue segmentation usin...
Oren Freifeld, Hayit Greenspan, Jacob Goldberger
ENTCS
2007
150views more  ENTCS 2007»
13 years 7 months ago
On the Expressiveness of Mobile Synchronizing Petri Nets
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
Fernando Rosa Velardo, David de Frutos-Escrig, Olg...
LICS
2010
IEEE
13 years 6 months ago
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
Martin Otto