3765 search results - page 305 / 753 » Qualitative Action Systems |
177
Voted
AIME
2003
Springer
16 years 20 days ago
2003
Springer
We describe a decision support system for treatment planning which provides immediate feedback of constraints, interactions and dependencies on and between treatment actions, and t...
165
click to vote
ACSD
2001
IEEE
15 years 11 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
160
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we propose a machine learning-based NLP system for automatically creating animated storyboards using the action descriptions of movie scripts. We focus particularly...
200
click to vote
DEFORM
2000
15 years 8 months ago
2000
: In this paper we extend previous work [Aubel00] and propose a muscle model suitable for computer graphics based on physiological and anatomical considerations. Muscle motion and ...
195
click to vote
TCS
2008
15 years 7 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...