3628 search results - page 572 / 726 » The Decision Diffie-Hellman Problem |
152
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
116
click to vote
TRIDENTCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
142
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
135
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
118
click to vote
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
Performance monitoring in most distributed systems provides minimal guidance for tuning, problem diagnosis, and decision making. Stardust is a monitoring infrastructure that repla...