1413 search results - page 143 / 283 » Bisimilarity of Open Terms |
164
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
161
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Science Gateways have emerged as a valuable solution for providing large numbers of users with access to advanced computing resources. Additionally, they can hide many of the comp...
140
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new method for analysis of center of pressure (COP) signals using Empirical Mode Decomposition (EMD). The EMD decomposes a COP signal into a finite set of b...
176
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
188
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Emerging DNA sequencing technologies open up exciting new opportunities for genome sequencing by generating read data with a massive throughput. However, produced reads are signif...