1026 search results - page 107 / 206 » A Methodology for Equational Reasoning |
GEOINFO
2004
13 years 10 months ago
2004
: Elevation information plays a crucial role in simulations of geophysical flows providing the slope and curvature information required to solve a series of differential equations....
AI
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...
CN
2010
13 years 9 months ago
2010
We consider massively dense ad hoc networks and study their continuum limits as the node density increases and as the graph providing the available routes becomes a continuous area...
ISEM
2008
13 years 9 months ago
2008
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
TCAD
2002
13 years 8 months ago
2002
We develop a general methodology to analyze crosstalk effects that are likely to cause errors in deep submicron high speed circuits. We focus on crosstalk due to capacitive coupli...