303 search results - page 22 / 61 » Moore and more and symmetry |
VR
2000
IEEE
15 years 1 months ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
ASM
2008
ASM
15 years 9 days ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
The evaluation of grammar inference systems is clearly a non-trivial task, as it is possible to have more than one correct grammar for a given language. The `looks good to me'...
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
Perceived quality of the speech signal deteriorates significantly in the presence of ambient noise. In this paper, based on the analysis that the partial masking effect is a main...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
While email is fairly reliable, messages do get lost. This can be due to the store-and-forward nature of email, which passes responsibility for delivering email from one mail serv...