1750 search results - page 134 / 350 » E-Commerce Development Procedure |
169
click to vote
CIE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
168
click to vote
CSL
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
172
click to vote
ISVC
2009
Springer
16 years 28 days ago
2009
Springer
We developed a GPU-based volume ray casting system for rendering multiple arbitrarily overlapping multi-resolution volume data sets. Our efficient volume virtualization scheme is b...
145
click to vote
APSCC
2008
IEEE
16 years 26 days ago
2008
IEEE
As internet technology develops, we transfer more and more physical activities into cyberspace. On the other hand, mobile technology frees the location of cyberspace participants,...
152
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...