4211 search results - page 290 / 843 » Types as Abstract Interpretations |
175
Voted
IJAC
2007
15 years 6 months ago
2007
Abstract. Rotation distance quantifies the difference in shape between two rooted binary trees of the same size by counting the minimum number of elementary changes needed to tra...
168
click to vote
BC
2005
15 years 6 months ago
2005
Abstract We study the influence of spatially correlated noise on the transient dynamics of a recurrent network with Mexican-Hat type connectivity. We derive the closed form of the ...
146
click to vote
ENTCS
2002
15 years 6 months ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...
157
click to vote
FUIN
2002
15 years 6 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
152
click to vote
TIT
1998
15 years 6 months ago
1998
Abstract— This correspondence investigates and compares the capacities of two types of frequency-hopped code-division multiple-access (FH-CDMA) communications systems; namely, mu...