Sciweavers

8060 search results - page 1364 / 1612
» Adaptive BICM-OFDM Systems
Sort
View
DGO
2003
147views Education» more  DGO 2003»
15 years 8 months ago
A Framework for the Representation of Geospatial Image Processing Operations
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
Vijay Venkataraman, Peggy Agouris
SDL
2001
125views Hardware» more  SDL 2001»
15 years 8 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
SERP
2004
15 years 8 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong
VMV
2004
179views Visualization» more  VMV 2004»
15 years 8 months ago
High-Resolution Interactive Panoramas with MPEG-4
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
Peter Eisert, Yong Guo, Anke Riechers, Jürgen...
WOA
2004
15 years 8 months ago
Using Method Engineering for the Construction of Agent-Oriented Methodologies
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
« Prev « First page 1364 / 1612 Last » Next »