Sciweavers

2509 search results - page 325 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
188
Voted
LICS
2006
IEEE
16 years 5 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
ACIVS
2006
Springer
16 years 5 days ago
Dilation Matrices for Nonseparable Bidimensional Wavelets
Abstract. For nonseparable bidimensional wavelet transforms, the choice of the dilation matrix is all–important, since it governs the downsampling and upsampling steps, determine...
Ana M. C. Ruedin
CONEXT
2006
ACM
16 years 4 days ago
Compositional control of IP media
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
Pamela Zave, Eric Cheung
DCOSS
2005
Springer
15 years 11 months ago
Multi-query Optimization for Sensor Networks
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
Niki Trigoni, Yong Yao, Alan J. Demers, Johannes G...
GCC
2005
Springer
15 years 11 months ago
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie W...