16216 search results - page 69 / 3244 » Effective Modeling with Constraints |
246
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
119
Voted
PADS
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents Maya, a multi-paradigm, scalable and extensible network modeling framework for emulating distributed applications. A novel three-tier architecture is proposed ...
175
click to vote
RAS
2006
15 years 4 months ago
2006
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
101
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
— Timing exceptions in IC implementation processes, especially timing verification, help reduce pessimism that arises from unnecessary timing constraints by masking non-function...