Sciweavers

6943 search results - page 749 / 1389
» Representations for evolutionary algorithms
Sort
View
HCW
1999
IEEE
15 years 11 months ago
Simulation of Task Graph Systems in Heterogeneous Computing Environments
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
Noé Lopez-Benitez, Ja-Young Hyon
ICRA
1999
IEEE
93views Robotics» more  ICRA 1999»
15 years 11 months ago
Contact Analysis of Spatial Fixed-Axes Pairs Using Configuration Spaces
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
Iddo Drori, Leo Joskowicz, Elisha Sacks
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 11 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
175
Voted
3DIM
1997
IEEE
15 years 11 months ago
Surface Registration by Matching Oriented Points
For registration of 3-D free-form surfaces we have developed a representation which requires no knowledge of the transformation between views. The representation comprises descrip...
Andrew Edie Johnson, Martial Hebert
167
Voted
ICCAD
1996
IEEE
106views Hardware» more  ICCAD 1996»
15 years 11 months ago
A general dispersive multiconductor transmission line model for interconnect simulation in SPICE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
Mustafa Celik, Andreas C. Cangellaris