Sciweavers

33 search results - page 3 / 7
» Towards Unambiguous Model Fragments
Sort
View
AIME
2009
Springer
14 years 1 months ago
Modeling Clinical Guidelines through Petri Nets
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
Marco Beccuti, Alessio Bottrighi, Giuliana Frances...
SCAI
2008
13 years 11 months ago
Towards Automatic Model Generation by Optimization
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
Per Nyblom, Patrick Doherty
ERSHOV
2009
Springer
14 years 4 months ago
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
Florian Fischer, Gulay Ünel, Barry Bishop, Di...
ENTCS
2002
77views more  ENTCS 2002»
13 years 9 months ago
Towards Coalgebraic Behaviourism
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
Dragan Masulovic
EXTREME
2004
ACM
14 years 3 months ago
Half-steps toward LMNL
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
Wendell Piez