2306 search results - page 83 / 462 » Modeling issues in a shipping system |
CP
2007
Springer
14 years 2 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
DSD
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
DAGSTUHL
2006
13 years 11 months ago
2006
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...
COLING
1996
13 years 11 months ago
1996
In this paper we analyse the problem of generating referring expressions in a multilingnal generation system that produces instructions on how to fill out pension forms. The model...
ICPR
2006
IEEE
14 years 4 months ago
2006
IEEE
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...