Sciweavers

3415 search results - page 313 / 683
» Physical Design Refinement: The
Sort
View
IJCAI
1989
15 years 8 months ago
Reasoning About Assumptions in Graphs of Models
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
Sanjaya Addanki, Roberto Cremonini, J. Scott Penbe...
MCS
2008
Springer
15 years 6 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski
AI
2005
Springer
15 years 6 months ago
Semiotic schemas: A framework for grounding language in action and perception
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...
Deb Roy
176
Voted
AROBOTS
2004
205views more  AROBOTS 2004»
15 years 6 months ago
Building Terrain-Covering Ant Robots: A Feasibility Study
Robotics researchers have studied robots that can follow trails laid by other robots. We, on the other hand, study robots that leave trails in the terrain to cover closed terrain r...
Jonas Svennebring, Sven Koenig
ASPDAC
2010
ACM
161views Hardware» more  ASPDAC 2010»
15 years 4 months ago
A dual-MST approach for clock network synthesis
Abstract--In nanometer-scale VLSI physical design, clock network becomes a major concern on determining the total performance of digital circuit. Clock skew and PVT (Process, Volta...
Jingwei Lu, Wing-Kai Chow, Chiu-Wing Sham, Evangel...