Sciweavers

8917 search results - page 156 / 1784
» Abstraction in Algorithm Animation
Sort
View
116
Voted
JURIX
2008
15 years 4 months ago
An Algorithm for Business Process Compliance
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
Guido Governatori, Antonino Rotolo
99
Voted
ALENEX
2004
99views Algorithms» more  ALENEX 2004»
15 years 4 months ago
Kernelization Algorithms for the Vertex Cover Problem: Theory and Experiments
d Abstract) Faisal N. Abu-Khzam , Rebecca L. Collins , Michael R. Fellows , Michael A. Langston , W. Henry Suters and Chris T. Symons
Faisal N. Abu-Khzam, Rebecca L. Collins, Michael R...
121
Voted
CORR
2007
Springer
76views Education» more  CORR 2007»
15 years 2 months ago
Some problems in asymptotic convex geometry and random matrices motivated by numerical algorithms
Abstract. The simplex method in Linear Programming motivates several problems of asymptotic convex geometry. We discuss some conjectures and known results in two related directions...
Roman Vershynin
133
Voted
ALGORITHMICA
2005
99views more  ALGORITHMICA 2005»
15 years 2 months ago
Improved Approximation Algorithms for the Quality of Service Multicast Tree Problem
Abstract. The Quality of Service Multicast Tree Problem is a generalization of the Steiner tree problem which appears in the context of multimedia multicast and network design. In ...
Marek Karpinski, Ion I. Mandoiu, Alexander Olshevs...
109
Voted
TCS
1998
15 years 2 months ago
Parsing Schemata and Correctness of Parsing Algorithms
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
Klaas Sikkel