4714 search results - page 310 / 943 » The Complexity of Iterated Multiplication |
175
click to vote
VIZSEC
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
167
click to vote
ICTAI
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
141
click to vote
ARITH
2005
IEEE
16 years 9 days ago
2005
IEEE
The pipelined CORDIC with linear approximation to rotation has been proposed to achieve reductions in delay, power and area; however, the schemes for rotation (multiplication) and...
184
click to vote
TACAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
179
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...