Sciweavers

2479 search results - page 278 / 496
» Quantum complexity theory
Sort
View
ICALP
1998
Springer
15 years 11 months ago
Bridges for Concatenation Hierarchies
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
Jean-Eric Pin
180
Voted
INFOCOM
1997
IEEE
15 years 10 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 10 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
ICSE
1994
IEEE-ACM
15 years 10 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
CIARP
2009
Springer
15 years 10 months ago
Filter Banks for Hyperspectral Pixel Classification of Satellite Images
Abstract. Satellite hyperspectral imaging deals with heterogenous images containing different texture areas. Filter banks are frequently used to characterize textures in the image ...
Olga Rajadell, Pedro García-Sevilla, Filibe...