2681 search results - page 397 / 537 » Problem F |
119
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
Data association is the process of relating features observed in the environment to features viewed previously or to features in a map. Correct feature association is essential fo...
123
click to vote
VL
2000
IEEE
15 years 6 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
104
click to vote
DAC
2000
ACM
15 years 6 months ago
2000
ACM
—Chemical–mechanical polishing (CMP) is an enabling technique used in deep-submicrometer VLSI manufacturing to achieve long range oxide planarization. Post-CMP oxide topography...
129
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
101
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...