Sciweavers

280 search results - page 21 / 56
» Termination Tools in Ordered Completion
Sort
View
CVPR
2010
IEEE
14 years 4 months ago
Visual Recognition and Detection Under Bounded Computational Resources
Visual recognition and detection are computationally intensive tasks and current research efforts primarily focus on solving them without considering the computational capability ...
Sudheendra Vijayanarasimhan, Ashish Kapoor
OTM
2009
Springer
14 years 3 months ago
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
Rania Khalaf, Dieter Roller, Frank Leymann
TSMC
1998
169views more  TSMC 1998»
13 years 8 months ago
Real-time map building and navigation for autonomous robots in unknown environments
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
Giuseppe Oriolo, Giovanni Ulivi, Marilena Venditte...
BPM
2008
Springer
147views Business» more  BPM 2008»
13 years 10 months ago
Business Process Modelling with Continuous Validation
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf ...
ESA
2005
Springer
146views Algorithms» more  ESA 2005»
14 years 2 months ago
An Approximation Algorithm for the Minimum Latency Set Cover Problem
The input to the minimum latency set cover problem (MLSC) consists of a set of jobs and a set of tools. Each job j needs a specific subset Sj of the tools in order to be processed...
Refael Hassin, Asaf Levin