Sciweavers

1891 search results - page 261 / 379
» Constrained Subspace Modelling
Sort
View
BPM
2006
Springer
135views Business» more  BPM 2006»
15 years 6 months ago
Managing Process Variants as an Information Resource
Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions th...
Ruopeng Lu, Shazia Wasim Sadiq
COLT
2006
Springer
15 years 6 months ago
Online Learning Meets Optimization in the Dual
We describe a novel framework for the design and analysis of online learning algorithms based on the notion of duality in constrained optimization. We cast a sub-family of universa...
Shai Shalev-Shwartz, Yoram Singer
135
Voted
CAV
2003
Springer
155views Hardware» more  CAV 2003»
15 years 6 months ago
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
Marc Geilen
GCB
2000
Springer
75views Biometrics» more  GCB 2000»
15 years 6 months ago
Regexpcount, a Symbolic Package for Counting Problems on Regular Expressions and Words
In previous work [10], we considered algorithms related to the statistics of matches with words and regular expressions in texts generated by Bernoulli or Markov sources. In this w...
Pierre Nicodème
155
Voted
ARCS
2010
Springer
15 years 5 months ago
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
Patrick Bellasi, William Fornaciari, David Siorpae...