361 search results - page 71 / 73 » Automatic Generation of Some Results in Finite Algebra |
LOPSTR
2007
Springer
14 years 2 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
CG
2005
Springer
13 years 8 months ago
2005
Springer
In Monte-Carlo photon-tracing methods energy-carrying particles are traced in an environment to generate hit points on object surfaces for simulating global illumination. The surf...
EC
2008
13 years 8 months ago
2008
This work describes how evolutionary computation can be used to synthesize lowlevel image operators that detect interesting points on digital images. Interest point detection is a...
PDP
2010
IEEE
13 years 6 months ago
2010
IEEE
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—1 Hybrid Automatic Repeat reQuest (ARQ) plays an essential role in error control. Combining the incorrectly received packet replicas in hybrid ARQ has been shown to reduce the r...