Sciweavers

211 search results - page 19 / 43
» Ground Reducibility is EXPTIME-Complete
Sort
View
195
Voted
ISPD
2006
ACM
103views Hardware» more  ISPD 2006»
15 years 11 months ago
High accurate pattern based precondition method for extremely large power/ground grid analysis
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
Jin Shi, Yici Cai, Sheldon X.-D. Tan, Xianlong Hon...
ICAIL
2005
ACM
15 years 11 months ago
Computational Law
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
Nathaniel Love, Michael R. Genesereth
153
Voted
ICLP
2005
Springer
15 years 11 months ago
Towards an Integration of Answer Set and Constraint Solving
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
126
Voted
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 10 months ago
Toe Joints that Enhance Bipedal and Fullbody Motion of Humanoid Robots
This paper addresses the extention of humanoid's action capability by attatching toe joints. E ectiveness of toe joints is discussed in three aspects. One is utilizing it to ...
Koichi Nishiwaki, Satoshi Kagami, Yasuo Kuniyoshi,...
DATE
2000
IEEE
71views Hardware» more  DATE 2000»
15 years 10 months ago
Clocktree RLC Extraction with Efficient Inductance Modeling
In this paper, we present an efficient yet accurate inductance extraction methodology and also apply it to clocktree RLC extraction. We first show that without loss of accuracy, t...
Norman Chang, Shen Lin, O. Sam Nakagawa, Weize Xie...