3113 search results - page 299 / 623 » Numerical Methods |
160
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
162
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
164
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
179
click to vote
VECPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
160
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...