4095 search results - page 810 / 819 » How to test a tree |
SAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
SIAMSC
2010
13 years 6 months ago
2010
A recursive acceleration method is proposed for multiplicative multilevel aggregation algorithms that calculate the stationary probability vector of large, sparse, and irreducible ...
SPEECH
2010
13 years 6 months ago
2010
In this paper we investigate the modulation domain as an alternative to the acoustic domain for speech enhancement. More specifically, we wish to determine how competitive the mo...
TGIS
2010
13 years 6 months ago
2010
Building on abstract reference models, the Open Geospatial Consortium (OGC) has established standards for storing, discovering, and processing geographical information. These stan...
TVCG
2010
13 years 6 months ago
2010
—In immersive virtual environments (IVEs) users can control their virtual viewpoint by moving their tracked head and by walking through the real world. Usually, movements in the ...