6943 search results - page 1056 / 1389 » Representations for evolutionary algorithms |
135
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
144
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
154
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
171
click to vote
RT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract: An object space algorithm for computing shadows in dynamic scenes illuminated by area light sources is presented. A mesh with the shadow boundaries as well as other disco...
182
click to vote
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...