Sciweavers

580 search results - page 59 / 116
» Towards a Theory of Conceptual Modelling
Sort
View
IJDMB
2008
105views more  IJDMB 2008»
14 years 10 months ago
Temporal representation for gene networks: towards a qualitative temporal data mining
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
Nicolas Turenne, Sylviane R. Schwer
SAC
2008
ACM
14 years 9 months ago
Template design and automatic generation of controllers for industrial robots
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...
HCI
2009
14 years 7 months ago
Towards Cognitive-Aware Multimodal Presentation: The Modality Effects in High-Load HCI
In this study, we argue that multimodal presentations should be created in a cognitive-aware manner, especially in a high-load HCI situation where the user task challenges the full...
Yujia Cao, Mariët Theune, Anton Nijholt
SERP
2004
14 years 11 months ago
Using ZOOM Approach to Support MDD
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Q...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 2 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh