Sciweavers

6530 search results - page 276 / 1306
» Application Integration
Sort
View
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 8 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
AAAI
1997
15 years 8 months ago
Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation
We propose a 3D computational model for projective relations which is used in an integrated image and speech understanding system. The image and speech understanding system is bei...
Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Ger...
WSC
1998
15 years 8 months ago
Application of a General Particle System Model to Movement of Pedestrians and Vehicles
This paper discusses the development of a series of models that ultimately leads to an unusual simulation approach to modeling automated guided vehicles on a factory floor. A pede...
Lisa A. Schaefer, Gerald T. Mackulak, Jeffery K. C...
CEC
2007
IEEE
15 years 6 months ago
Designing memetic algorithms for real-world applications using self-imposed constraints
— Memetic algorithms (MAs) combine the global exploration abilities of evolutionary algorithms with a local search to further improve the solutions. While a neighborhood can be e...
Thomas Michelitsch, Tobias Wagner, Dirk Biermann, ...
CHINAF
2006
110views more  CHINAF 2006»
15 years 6 months ago
Time-domain analysis methodology for large-scale RLC circuits and its applications
: With soaring work frequency and decreasing feature sizes, VLSI circuits with RLC parasitic components are more like analog circuits and should be carefully analyzed in physical d...
Zuying Luo, Yici Cai, Sheldon X.-D. Tan, Xianlong ...