Sciweavers

1431 search results - page 135 / 287
» Solving Constraints in Model Transformations
Sort
View
105
Voted
IJSEKE
2008
103views more  IJSEKE 2008»
15 years 24 days ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz
98
Voted
CP
2006
Springer
15 years 4 months ago
The Modelling Language Zinc
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
Maria J. García de la Banda, Kim Marriott, ...
93
Voted
PG
2003
IEEE
15 years 6 months ago
Bounding Recursive Procedural Models Using Convex Optimization
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
Orion Sky Lawlor, John C. Hart
78
Voted
IJSYSC
2008
82views more  IJSYSC 2008»
15 years 24 days ago
Supply-chain modelling and control under proportional inventory-replenishment policies
A novel state-space model of a multi-node supply chain is presented, controlled via local proportional inventory-replenishment policies. The model is driven by a stochastic sequen...
C. I. Papanagnou, G. D. Halikias
3DIM
2003
IEEE
15 years 6 months ago
Human Figure Reconstruction and Modeling from Single Image or Monocular Video Sequence
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...
Fabio Remondino, Andreas Roditakis