17450 search results - page 3270 / 3490 » Numerical Methods with Applications |
194
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
181
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
174
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
We propose a technique that makes use of a proximity metric for delineating partially or fully bounded regions of a scanned bitmap that depicts a building floor plan. A proximity...
184
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
192
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...