Sciweavers

2702 search results - page 92 / 541
» constraints 2008
Sort
View
ESOP
2008
Springer
15 years 6 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
ICPR
2008
IEEE
16 years 5 months ago
Geometric constraints on 2D action models for tracking human body
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
Alexei Gritai, Arslan Basharat, Mubarak Shah
AAAI
2008
15 years 7 months ago
Learning and Inference with Constraints
Probabilistic modeling has been a dominant approach in Machine Learning research. As the field evolves, the problems of interest become increasingly challenging and complex. Makin...
Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo...
ECAI
2008
Springer
15 years 6 months ago
Solving Necklace Constraint Problems
Abstract. Some constraint problems have a combinatorial structure where the constraints allow the sequence of variables to be rotated (necklaces), if not also the domain values to ...
Pierre Flener, Justin Pearson
FMCAD
2008
Springer
15 years 6 months ago
Optimal Constraint-Preserving Netlist Simplification
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...
Jason Baumgartner, Hari Mony, Adnan Aziz