Sciweavers

AC
2003
Springer
14 years 4 months ago
Unsupervised Learning
Zoubin Ghahramani
AC
2003
Springer
14 years 4 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
AC
2003
Springer
14 years 4 months ago
Message Sequence Charts
Blaise Genest, Anca Muscholl, Doron Peled
AC
2003
Springer
14 years 4 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
14 years 4 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...
AC
2003
Springer
14 years 4 months ago
Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks
Miguel Castro, Peter Druschel, Y. Charlie Hu, Anto...
AC
2003
Springer
14 years 4 months ago
Challenges in Making Pervasive Systems Dependable
Christof Fetzer, Karin Högstedt
AC
2003
Springer
14 years 4 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
14 years 4 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