Sciweavers

53
Voted
AC
2003
Springer
15 years 2 months ago
Unsupervised Learning
Zoubin Ghahramani
69
Voted
AC
2003
Springer
15 years 2 months ago
Unbounded Petri Net Synthesis
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...
Philippe Darondeau
47
Voted
AC
2003
Springer
15 years 2 months ago
Message Sequence Charts
Blaise Genest, Anca Muscholl, Doron Peled
AC
2003
Springer
15 years 2 months ago
Basic Category Theory for Models of Syntax
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
Roy L. Crole
AC
2003
Springer
15 years 2 months ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
54
Voted
AC
2003
Springer
15 years 2 months ago
Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks
Miguel Castro, Peter Druschel, Y. Charlie Hu, Anto...
55
Voted
AC
2003
Springer
15 years 2 months ago
Challenges in Making Pervasive Systems Dependable
Christof Fetzer, Karin Högstedt
79
Voted
AC
2003
Springer
15 years 2 months ago
3D Face Recognition Using Stereoscopic Vision
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
Umberto Castellani, Manuele Bicego, Gianluca Iacon...
AC
2003
Springer
15 years 2 months ago
A Face Recognition System Based on Local Feature Characterization
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...
Paola Campadelli, Raffaella Lanzarotti
60
Voted
AC
2003
Springer
15 years 2 months ago
Modeling Complexity in Secure Distributed Computing
Christian Cachin