Sciweavers

5339 search results - page 154 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 3 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
IS
2007
15 years 3 months ago
Improving process models by discovering decision points
Workflow management systems (WfMS) are widely used by business enterprises as tools for administrating, automating and scheduling the business process activities with the availab...
Sharmila Subramaniam, Vana Kalogeraki, Dimitrios G...
TKDE
1998
102views more  TKDE 1998»
15 years 2 months ago
Database Migration: A New Architecture for Transaction Processing in Broadband Networks
—Due to recent developments in network technologies, broader channel bandwidth is becoming prevalent in worldwide networks. As one of the new technologies making good use of such...
Takahiro Hara, Kaname Harumoto, Masahiko Tsukamoto...
AROBOTS
2011
14 years 10 months ago
Learning GP-BayesFilters via Gaussian process latent variable models
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
Jonathan Ko, Dieter Fox
ICIP
2003
IEEE
16 years 4 months ago
Adaptive system on a chip (ASOC): a backbone for power-aware signal processing cores
For motion estimation (ME) and discrete cosine transform (DCT) of MPEG video encoding, content variation and perceptual tolerance in video signals can be exploited to gracefully t...
Andrew Laffely, Jian Liang, Russell Tessier, Wayne...