501 search results - page 47 / 101 » Diagram Techniques for Confluence |
121
click to vote
VR
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a novel approach for real-time path planning of multiple virtual agents in complex dynamic scenes. We introduce a new data structure, Multi-agent Navigation Graph (MaNG...
130
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
103
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
DAC
1997
ACM
15 years 6 months ago
1997
ACM
In many computer-aided design tools, binary decision diagrams (BDDs) are used to represent Boolean functions. To increase the efficiency and capability of these tools, many algor...
138
click to vote
ICCD
1996
IEEE
15 years 6 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...