1626 search results - page 262 / 326 » Hybrid computing algorithm in representing solid model |
140
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
111
click to vote
COMPGEOM
2004
ACM
15 years 8 months ago
2004
ACM
Triangle strips have been widely used for efficient rendering. It is NP-complete to test whether a given triangulated model can be represented as a single triangle strip, so many...
128
click to vote
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
The recent JVT video coding scheme (MPEG-4 AVC/H.264) is a promising technique due to its high coding efficiency. Hypothetical Reference Decoder (HRD) is a very important part in ...
154
click to vote
ICPADS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we describe a resource matcher (RM) developed for the on-line resource matching in heterogeneous grid environments. RM is based on the principles of Evolutionary Al...
140
click to vote
AAAI
2008
15 years 5 months ago
2008
Recent study has shown that canonical algorithms such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) can be obtained from graph based dimensionality ...