2500 search results - page 186 / 500 » Specifying Behavior in C |
181
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
156
click to vote
SSIAI
2000
IEEE
15 years 10 months ago
2000
IEEE
For each patient receiving definitive treatment for cervix cancer, several CT/MR imaging studies need to be registered in order to specify the total physical or biological dose t...
170
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
143
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...
216
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...