Sciweavers

2341 search results - page 374 / 469
» Using ontologies for simulation integration
Sort
View
SCSC
2007
13 years 10 months ago
Damage mechanics modeling of concurrent thermal and vibration loading on electronics packaging
— The problem of concurrent thermal and vibration loading has not been thoroughly studied even though it is common in electronic packaging applications. Here we attempt to addres...
Cemal Basaran, Juan Gomez, Minghui Lin, Shidong Li
NIPS
2001
13 years 10 months ago
Variance Reduction Techniques for Gradient Estimates in Reinforcement Learning
Policy gradient methods for reinforcement learning avoid some of the undesirable properties of the value function approaches, such as policy degradation (Baxter and Bartlett, 2001...
Evan Greensmith, Peter L. Bartlett, Jonathan Baxte...
ADHOC
2007
133views more  ADHOC 2007»
13 years 9 months ago
Secure position-based routing protocol for mobile ad hoc networks
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
Joo-Han Song, Vincent W. S. Wong, Victor C. M. Leu...
TITS
2008
106views more  TITS 2008»
13 years 9 months ago
Binary-Representation-Based Genetic Algorithm for Aircraft Arrival Sequencing and Scheduling
Arrival sequencing and scheduling (ASS) at airports is an NP-hard problem. Much effort has been made to use permutation-representation-based genetic algorithms (GAs) to tackle this...
Xiao-Bing Hu, Ezequiel A. Di Paolo
TCAD
2002
121views more  TCAD 2002»
13 years 8 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...