Sciweavers

2446 search results - page 230 / 490
» Polyadic Concept Analysis
Sort
View
139
Voted
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 6 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
ECSCW
1997
15 years 6 months ago
Designing for Cooperation at a Radio Station
: We address computer support for work and its coordination in one of the radio channels of the Danish Broadcasting Corporation. Based upon ethnographically inspired analysis and p...
Finn Kensing, Jesper Simonsen, Keld Bødker
BIRTHDAY
2010
Springer
15 years 6 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
AMC
2008
99views more  AMC 2008»
15 years 5 months ago
Markov chain network training and conservation law approximations: Linking microscopic and macroscopic models for evolution
In this paper, a general framework for the analysis of a connection between the training of artificial neural networks via the dynamics of Markov chains and the approximation of c...
Roderick V. N. Melnik
COGSCI
2006
117views more  COGSCI 2006»
15 years 5 months ago
A Model of Plausibility
Plausibility has been implicated as playing a critical role in many cognitive phenomena from comprehension to problem solving. Yet, across cognitive science, plausibility is usual...
Louise Connell, Mark T. Keane