Sciweavers

1361 search results - page 119 / 273
» Homing in scale space
Sort
View
CONCUR
1999
Springer
15 years 10 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ICRA
1998
IEEE
126views Robotics» more  ICRA 1998»
15 years 10 months ago
Matrix Normalization for Optimal Robot Design
Good robot performance often relies upon the selection of design parameters that lead to a well conditioned Jacobian or impedance "design" matrix. In this paper, a new d...
Leo J. Stocco, S. E. Salcudean, F. Sassani
BIRD
2008
Springer
131views Bioinformatics» more  BIRD 2008»
15 years 8 months ago
Identifying Subcellular Locations from Images of Unknown Resolution
Our group has previously used machine learning techniques to develop computational systems to automatically analyse fluorescence microscope images and classify the location of the ...
Luís Pedro Coelho, Robert F. Murphy
CIMAGING
2010
189views Hardware» more  CIMAGING 2010»
15 years 7 months ago
Novel integro-differential equations in image processing and its applications
Motivated by the hierarchical multiscale image representation of Tadmor et al.,1 we propose a novel integrodifferential equation (IDE) for a multiscale image representation. To th...
Prashant Athavale, Eitan Tadmor
SIGIR
2010
ACM
15 years 6 months ago
Scalability of findability: effective and efficient IR operations in large information networks
It is crucial to study basic principles that support adaptive and scalable retrieval functions in large networked environments such as the Web, where information is distributed am...
Weimao Ke, Javed Mostafa