477 search results - page 25 / 96 » Design patterns in separation logic |
KI
2008
Springer
13 years 6 months ago
2008
Springer
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
Implementing logic blocks in an integrated circuit in terms of repeating or regular geometry patterns [6,7] can provide significant advantages in terms of manufacturability and de...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
One of the key challenges to successful systems-ofsystems integration using Web services technologies is how to address crosscutting architectural concerns such as policy manageme...
MCS
2006
Springer
13 years 7 months ago
2006
Springer
8 The training of some types of neural networks leads to separable non-linear least squares problems. These problems may be9 ill-conditioned and require special techniques. A robus...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This study compares three different methods designed for detecting irregularities from regular dot patterns. Frequency domain information is used to split an original regular patt...