767 search results - page 17 / 154 » Semantic-Based Planning of Process Models |
134
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
140
click to vote
WSC
2007
15 years 5 months ago
2007
Stimulated by the success of management innovation in the manufacturing industry – culminating in lean production, many homebuilders attempt to model the construction process on...
102
Voted
ROBOCUP
2001
Springer
15 years 7 months ago
2001
Springer
In multiagent adversarial domains, team agents should adapt to the environment and opponent. We introduce a model representation as part of a planning process for a simulated socce...
128
click to vote
DEXAW
2000
IEEE
15 years 7 months ago
2000
IEEE
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
136
Voted
CCE
2005
15 years 2 months ago
2005
The accuracy of using linear models for crude distillation unit (CDU), fluidize-bed catalytic cracker (FCC) and product blending in refinery planning has been debated for decades....