3145 search results - page 439 / 629 » Algebraic Linear Orderings |
173
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
259
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
193
click to vote
ICTL
1994
15 years 10 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
162
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
167
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...