Sciweavers

23036 search results - page 94 / 4608
» Sketching informal presentations
Sort
View
PFE
2001
Springer
15 years 2 months ago
Session Report on Product Issues in Product Family Engineering
This report gives an overview of the session on product issues of the 4th International Workshop on Product Family Engineering. It briefly sketches the issues presented in the tech...
Peter Knauber, Steffen Thiel
ERLANG
2007
ACM
15 years 1 months ago
Learning programming with Erlang
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
Frank Huch
IJCAI
1989
14 years 11 months ago
A Symbol Is Not a Symbol
One of the weak points of the present critics of AI is their lack of an alternative cognitive theory. In the paper the outline of such a theory is sketched, based on (one reading)...
Nils Dahlbäck
MLQ
1998
61views more  MLQ 1998»
14 years 9 months ago
Extracting Algorithms from Intuitionistic Proofs
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
Fernando Ferreira, António Marques
OOPSLA
2007
Springer
15 years 4 months ago
Notation and representation in collaborative object-oriented design: an observational study
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
Uri Dekel, James D. Herbsleb