7554 search results - page 1205 / 1511 » Process Diagnostics: A Method Based on Process Mining |
166
click to vote
EMMCVPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
154
click to vote
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
235
Voted
IBPRIA
2009
Springer
15 years 11 months ago
2009
Springer
Recent works in object recognition often use visual words, i.e. vector quantized local descriptors extracted from the images. In this paper we present a novel method to build such ...
196
click to vote
ICIAP
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a framework for using high-level visual information to enhance the performance of automatic color constancy algorithms. The approach is based on recognizing spe...
150
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...