2268 search results - page 385 / 454 » The Essence of Form Abstraction |
100
click to vote
TOPLAS
2008
15 years 1 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
137
click to vote
CACM
1999
15 years 1 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
JNS
2010
14 years 12 months ago
2010
ABSTRACT. We consider a general family of regularized Navier-Stokes and Magnetohydrodynamics (MHD) models on n-dimensional smooth compact Riemannian manifolds with or without bound...
81
Voted
JOCN
2010
14 years 12 months ago
2010
■ There are two views about morphology, the aspect of language concerned with the internal structure of words. One view holds that morphology is a domain of knowledge with a spe...
214
click to vote
NABIC
2010
14 years 8 months ago
2010
Abstract--Ant Colony Optimization (ACO) is a problemsolving technique that was inspired by the related research on the behavior of real-world ant colony. In the domain of Network-o...