2899 search results - page 194 / 580 » Dynamic Trees in Practice |
122
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
126
click to vote
WEA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider how to maintain the topological order of a directed acyclic graph (DAG) in the presence of edge insertions and deletions. We present a new algorithm and, alth...
142
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper a new time-stepping method for simulating systems of rigid bodies is given. Unlike methods which take an instantaneous point of view, our method is based on impulse-m...
152
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
Visualization can be an important tool for displaying, categorizing and digesting large quantities of inter-related information during laboratory and simulation experiments. Summa...
136
click to vote
CCS
1999
ACM
15 years 9 months ago
1999
ACM
We present a novel approach to improving the security of passwords. In our approach, the legitimate user’s typing patterns (e.g., durations of keystrokes and latencies between ke...