2286 search results - page 276 / 458 » Algorithms for Categorical Equivalence |
154
click to vote
NOLISP
2007
Springer
16 years 23 days ago
2007
Springer
We have previously proposed a trajectory model which is based on a mixture density network (MDN) trained with target variables augmented with dynamic features together with an algo...
154
click to vote
STACS
2007
Springer
16 years 23 days ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
182
click to vote
ASAP
2006
IEEE
16 years 21 days ago
2006
IEEE
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...
175
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
151
click to vote
GLVLSI
2005
IEEE
16 years 7 days ago
2005
IEEE
The dependence of the propagation delay of the interlayer 3-D interconnects on the vertical through via location and length is investigated. For a variable vertical through via lo...