4463 search results - page 557 / 893 » computer 2000 |
148
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
135
click to vote
SBRN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper explores basic aspects of the immune system and proposes a novel immune network model with the main goals of clustering and filtering unlabeled numerical data sets. It ...
165
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
151
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
Polyhedral meshes are used for visualization, computer graphics or geometric modeling purposes and result from many applications like iso-surface extraction, surface reconstructio...
133
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we are presenting a novel architecture which allows rendering of large-shared dataset at interactive rates on an inexpensive workstation. The idea is based on view-d...