1004 search results - page 111 / 201 » Process Equivalence: Comparing Two Process Models Based on O... |
SCALESPACE
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we present a new non-parametric combined segmentation and registration method. The problem is cast as an optimization one, combining a matching criterion based on th...
TACAS
2001
Springer
14 years 1 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
SIBGRAPI
2008
IEEE
14 years 3 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
DATE
2004
IEEE
14 years 17 days ago
2004
IEEE
Dynamic power management aims at extending battery life by switching devices to lower-power modes when there is a reduced demand for service. Static power management strategies can...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
We introduce a saliency model based on two key ideas. The first one is considering local and global image patch rarities as two complementary processes. The second one is based o...