913 search results - page 110 / 183 » Full Abstraction for Linda |
161
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
166
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
158
click to vote
SBRN
2000
IEEE
15 years 10 months ago
2000
IEEE
d Articles >> Table of Contents >> Abstract VI Brazilian Symposium on Neural Networks (SBRN'00) p. 24 Adaptation of Parameters of BP Algorithm Using Automata Hamid...
152
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
160
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...