1158 search results - page 192 / 232 » Software is discrete mathematics |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
CASC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Expression templates (ET) can significantly reduce the implementation effort of mathematical software. For some compilers, especially for those of supercomputers, it ca...
DAC
2004
ACM
14 years 3 months ago
2004
ACM
Grid-warping is a new placement algorithm based on a strikingly simple idea: rather than move the gates to optimize their location, we elastically deform a model of the 2-0 chip s...