Sciweavers

4211 search results - page 127 / 843
» A formal approach to MASQ
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
15 years 28 days ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
UML
2005
Springer
15 years 6 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...
SIMUTOOLS
2008
15 years 2 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
FLAIRS
2000
15 years 2 months ago
HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
Sandro Coimbra Assis, Flávio Miguel Varej&a...
86
Voted
ICCS
2007
Springer
15 years 7 months ago
An Inferential Approach to the Generation of Referring Expressions
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
Madalina Croitoru, Kees van Deemter