Sciweavers

1632 search results - page 85 / 327
» Topological Analysis of Refinement
Sort
View
WSCG
2003
181views more  WSCG 2003»
15 years 1 days ago
Wavelet Analysis for a New Multiresolution Model for Large-Scale Textured Terrains
Large terrain databases require a great number of polygons and textures. In consequence, transmission of terrain data over slow networks is still worrying. Multiresolution models ...
María José Abásolo, Francisco...
ADC
2004
Springer
97views Database» more  ADC 2004»
15 years 4 months ago
Static Analysis of XSLT Programs
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
Ce Dong, James Bailey
PTS
2008
98views Hardware» more  PTS 2008»
15 years 3 days ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
SQJ
2002
90views more  SQJ 2002»
14 years 10 months ago
Critical Analysis of the PIE Testability Technique
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider ...
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 8 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur