1055 search results - page 148 / 211 » order 2002 |
164
click to vote
TIME
2002
IEEE
15 years 10 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
176
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
162
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
Within the field of computer graphics and visualization, it is often necessary to visualize polygonal models with large number of polygons. Display quality is mandatory, but it i...
173
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
148
click to vote
VR
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we intend to demonstrate a new intuitive force-feedback device for advanced VR applications. Force feedback for the device is tension based and is characterized by ...