11397 search results - page 2096 / 2280 » A Relational Abstraction for Functions |
184
click to vote
BC
2004
15 years 7 months ago
2004
Abstract. The neural circuits of birdsong appear to utilize specific time delays in their operation. In particular, the anterior forebrain pathway (AFP) is implicated in an approxi...
234
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
252
click to vote
PAMI
2008
15 years 7 months ago
2008
In this paper, the duality in differential form is developed between a 3D primal surface and its dual manifold formed by the surface's tangent planes, i.e., each tangent plan...
241
click to vote
CACM
2002
15 years 7 months ago
2002
Abstract. We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shoppin...
214
click to vote
ENTCS
2000
15 years 7 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...