Sciweavers

680 search results - page 66 / 136
» Modeling plant structures using concept sketches
Sort
View
91
Voted
HT
2000
ACM
15 years 5 months ago
Generating instructional hypermedia with APHID
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...
Judi R. Thomson, Jim E. Greer, John Cooke
110
Voted
ATAL
2009
Springer
15 years 4 months ago
Coalitional affinity games
We present and analyze coalitional affinity games, a family of hedonic games that explicitly model the value that an agent receives from being associated with other agents. We pro...
Simina Brânzei, Kate Larson
93
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 7 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
144
Voted
ICCS
2005
Springer
15 years 6 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
102
Voted
ISORC
1998
IEEE
15 years 5 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky