Sciweavers

1632 search results - page 85 / 327
» Topological Analysis of Refinement
Sort
View
110
Voted
WSCG
2003
181views more  WSCG 2003»
15 years 1 months 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...
78
Voted
ADC
2004
Springer
97views Database» more  ADC 2004»
15 years 6 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 2 months 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...
103
Voted
SQJ
2002
90views more  SQJ 2002»
15 years 7 days 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 ...
108
Voted
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 10 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