Sciweavers

2435 search results - page 68 / 487
» GPSS - 40 years of development
Sort
View
FMICS
2010
Springer
13 years 11 months ago
A Formal Model of Identity Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
Jan Camenisch, Sebastian Mödersheim, Dieter S...
IJMSO
2006
110views more  IJMSO 2006»
13 years 10 months ago
Metadata, semantics, and ontology: providing meaning to information resources
: Metadata research has emerged as a new discipline in the last years, and is focused on the provision of semantic descriptions of a diverse kind to digital resources, web resource...
Miguel-Ángel Sicilia
JAPLL
2006
79views more  JAPLL 2006»
13 years 10 months ago
Innovations in computational type theory using Nuprl
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
Stuart F. Allen, Mark Bickford, Robert L. Constabl...
IJON
2011
158views more  IJON 2011»
13 years 5 months ago
Maximal Discrepancy for Support Vector Machines
Several theoretical methods have been developed in the past years to evaluate the generalization ability of a classifier: they provide extremely useful insights on the learning ph...
Davide Anguita, Alessandro Ghio, Sandro Ridella

Book
231views
15 years 8 months ago
Object-Oriented Software Composition
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
Oscar Nierstrasz, Dennis Tsichritzis