Sciweavers

3775 search results - page 435 / 755
» The Expression Problem Revisited
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CP
2006
Springer
15 years 10 months ago
A New Algorithm for Sampling CSP Solutions Uniformly at Random
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
Vibhav Gogate, Rina Dechter
176
Voted
ECAI
2006
Springer
15 years 10 months ago
A Unified Model for Multilabel Classification and Ranking
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
Klaus Brinker, Johannes Fürnkranz, Eyke H&uum...
ECCV
2006
Springer
15 years 10 months ago
Articulated-Body Tracking Through Anisotropic Edge Detection
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...
David Knossow, Joost van de Weijer, Radu Horaud, R...
FOSSACS
2006
Springer
15 years 10 months ago
Distributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
Paolo Baldan, Stefan Haar, Barbara König