7554 search results - page 1209 / 1511 » Process Diagnostics: A Method Based on Process Mining |
160
click to vote
MVA
2007
15 years 6 months ago
2007
Abstract We propose a method for estimating the topology of distributed cameras, which can provide useful information for multi-target tracking in a wide area, without object ident...
159
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
185
click to vote
UTP
2010
15 years 5 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
170
Voted
BIS
2009
15 years 4 months ago
2009
Abstract. Due to a rapid growth in the use of electronic data processing and networking, an information security management system with a holistic and widespread view becomes more ...
211
click to vote
ICIAR
2010
Springer
15 years 4 months ago
2010
Springer
Image segmentation is a critical low-level visual routine for robot perception. However, most image segmentation approaches are still too slow to allow real-time robot operation. I...