211 search results - page 19 / 43 » Ground Reducibility is EXPTIME-Complete |
ISPD
2006
ACM
14 years 1 months ago
2006
ACM
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-...
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
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...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
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...
ICRA
2002
IEEE
14 years 16 days ago
2002
IEEE
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 ...
DATE
2000
IEEE
14 years 15 hour ago
2000
IEEE
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...