Sciweavers

4861 search results - page 237 / 973
» Parsimonious concept modeling
Sort
View
ENTCS
2002
125views more  ENTCS 2002»
15 years 6 months ago
Pathway Logic: Executable Models of Biological Networks
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
Steven Eker, Merrill Knapp, Keith Laderoute, Patri...
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
ICCV
2007
IEEE
16 years 8 months ago
Shape and Appearance Context Modeling
In this work we develop appearance models for computing the similarity between image regions containing deformable objects of a given class in realtime. We introduce the concept o...
Gianfranco Doretto, Jens Rittscher, Peter H. Tu, T...
BPM
2007
Springer
181views Business» more  BPM 2007»
16 years 24 days ago
Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues
Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these...
Nataliya Mulyar, Maja Pesic, Wil M. P. van der Aal...
ER
2007
Springer
82views Database» more  ER 2007»
16 years 24 days ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner