Sciweavers

2343 search results - page 16 / 469
» Structure and Interpretation of Computer Programs
Sort
View
APN
2005
Springer
15 years 7 months ago
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
Robert Clarisó, Enric Rodríguez-Carb...
CIE
2006
Springer
15 years 6 months ago
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
Paulo Oliva
ISMB
1994
15 years 3 months ago
Segmentation and Interpretation of 3D Protein Images
The segmentation and interpretation of threedimensionalimagesof proteins is considered. Atopological approachis used to represent a protein structure as a spanningtree of critical...
Laurence Leherte, Kim Baxter, Janice I. Glasgow, S...
TSD
2007
Springer
15 years 8 months ago
Logic-Based Rhetorical Structuring for Natural Language Generation in Human-Computer Dialogue
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
Vladimir Popescu, Jean Caelen, Corneliu Burileanu
123
Voted
APPINF
2003
15 years 3 months ago
Why Functional Programming Really Matters
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean ...