3113 search results - page 26 / 623 » Numerical Methods |
123
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
104
Voted
AAAI
1993
15 years 3 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
117
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
121
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— A numerical simulation of the magnetic field in the imaging volume of a magnetic resonance imaging (MRI) scanner and a method for quick searches for electromagnetic noise sour...
145
Voted
PDP
2003
IEEE
15 years 7 months ago
2003
IEEE
Load distribution is an essential factor to parallel efficiency of numerical simulations that are based on spatial grids, especially on clusters of symmetric multiprocessors (SMPs...