589 search results - page 30 / 118 » Generalized Dominators and Post-Dominators |
IWPEC
2004
Springer
15 years 6 months ago
2004
Springer
Based on a series of known and new examples, we propose the generalized setting of “distance from triviality” measurement as a reasonable and prospective way of determining use...
95
Voted
ISPD
1998
ACM
15 years 5 months ago
1998
ACM
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
133
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
85
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
94
Voted
IMAMS
2007
15 years 2 months ago
2007
In this paper a method is presented to fair the limit surface of a subdivision algorithm around an extraordinary point. The eigenvalues and eigenvectors of the subdivision matrix d...