43264 search results - page 8239 / 8653 » Comparing models of computation |
135
click to vote
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
162
Voted
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes and evaluates an efficient technique that allows the fast generation of 3D triangular meshes from range images avoiding optimization procedures. Such a tool ...
125
Voted
RTSS
1997
IEEE
15 years 7 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
119
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
195
Voted
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...