28 search results - page 4 / 6 » Semi-formal and Formal Models Applied to Flexible Manufactur... |
ECSCW
1993
13 years 10 months ago
1993
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
BMCBI
2006
13 years 9 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...