13784 search results - page 2340 / 2757 » On Computing Functions with Uncertainty |
180
click to vote
ISCC
2003
IEEE
16 years 6 days ago
2003
IEEE
Mobile IPv6 (MIPv6) and Fast Handover (FHO) have been developed by the Internet Engineering Task Force (IETF) to address the IP mobility issues of roaming mobile devices, and to r...
186
click to vote
LICS
2003
IEEE
16 years 6 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
194
click to vote
LICS
2003
IEEE
16 years 6 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
222
click to vote
PG
2003
IEEE
16 years 6 days ago
2003
IEEE
This paper presents a novel paradigm for point set surface editing, which takes advantages of the potential of implicit surfaces, the strength of physics based modeling techniques...
171
click to vote
PG
2003
IEEE
16 years 6 days ago
2003
IEEE
Interactive data visualization is inherently an iterative trial-and-error process searching for an ideal set of parameters for classifying and rendering features of interest in th...