14709 search results - page 282 / 2942 » Semantic feature modelling |
181
click to vote
EMO
2009
Springer
16 years 1 months ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
184
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
175
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
181
click to vote
FMCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
193
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...