Sciweavers

3444 search results - page 225 / 689
» A Theory of Object-Oriented Design
Sort
View
ATAL
2008
Springer
15 years 8 months ago
The intermediary agent's brain: supporting learning to collaborate at the inter-personal level
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
Juan Martínez-Miranda, Bernhard Jung, Sabin...
DCG
2011
14 years 10 months ago
A Celtic Framework for Knots and Links
We describe a variant of a method used by modern graphic artists to design what are traditionally called Celtic knots, which are part of a larger family of designs called “mirro...
Jonathan L. Gross, Thomas W. Tucker
ICAISC
2004
Springer
16 years 1 days ago
Optimization of Centers' Positions for RBF Nets with Generalized Kernels
The problem of locating centers for radial basis functions in neural networks is discussed. The proposed approach allows us to apply the results from the theory of optimum experime...
Ewaryst Rafajlowicz, Miroslaw Pawlak
ICLP
2003
Springer
15 years 12 months ago
A Tutorial on Proof Theoretic Foundations of Logic Programming
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
Paola Bruscoli, Alessio Guglielmi
BIRTHDAY
2006
Springer
15 years 10 months ago
Quantum Institutions
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...