1195 search results - page 154 / 239 » Modeling an Algebraic Stepper |
154
click to vote
ICNP
2007
IEEE
16 years 14 days ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
150
Voted
ISQED
2006
IEEE
16 years 4 days ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
162
click to vote
ADG
2006
Springer
16 years 4 days ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
163
click to vote
ACMSE
2006
ACM
16 years 3 days ago
2006
ACM
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
144
click to vote
SWAT
2004
Springer
15 years 11 months ago
2004
Springer
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...