2500 search results - page 186 / 500 » Specifying Behavior in C |
145
Voted
CEEMAS
2001
Springer
15 years 8 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...
120
Voted
SSIAI
2000
IEEE
15 years 8 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...
129
Voted
CL
2000
Springer
15 years 8 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...
113
Voted
ICRA
1999
IEEE
15 years 7 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...
157
Voted
EPIA
1999
Springer
15 years 7 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...