Sciweavers

1788 search results - page 151 / 358
» Model Theory for Process Algebra
Sort
View
119
Voted
ICDE
1993
IEEE
116views Database» more  ICDE 1993»
15 years 7 months ago
The Volcano Optimizer Generator: Extensibility and Efficient Search
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
Goetz Graefe, William J. McKenna
113
Voted
ICIP
2004
IEEE
16 years 5 months ago
Rate-distortion modeling of scalable video coders
After the emergence of numerous Internet streaming applications, rate-distortion (R-D) modeling of scalable video encoders has become an important issue. In this paper, we examine...
Min Dai, Dmitri Loguinov, Hayder Radha
ACTA
2007
106views more  ACTA 2007»
15 years 3 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ICIP
2001
IEEE
16 years 5 months ago
Multiresolution Gaussian mixture models for visual motion estimation
This paper introduces a new generalisation of scale-space and pyramids, which combines statistical modelling with a spatial representation. The representation uses the familiar co...
Roland Wilson, Andrew Calway
126
Voted
IEE
2008
120views more  IEE 2008»
15 years 3 months ago
Software evolutionary dynamics modelled as the activity of an actor-network
The pressures which act on a software system over its life from inception to retirement are many and varied. It is an important goal in considering software evolvability to unders...
Paul Wernick, Tracy Hall, Chrystopher L. Nehaniv