Sciweavers

10568 search results - page 168 / 2114
» Computer Intelligence and Formalization
Sort
View
CMSB
2003
Springer
15 years 3 months ago
Formal Modeling of C. elegans Development: A Scenario-Based Approach
Na'aman Kam, David Harel, Hillel Kugler, Rami Mare...
ICSOC
2009
Springer
15 years 2 months ago
A Service-Oriented UML Profile with Formal Support
Roberto Bruni, Matthias M. Hölzl, Nora Koch, ...
MABS
2004
Springer
15 years 3 months ago
Formal Analysis of Meeting Protocols
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
Catholijn M. Jonker, Martijn C. Schut, Jan Treur, ...
JETAI
2002
57views more  JETAI 2002»
14 years 9 months ago
Contextualizing concepts using a mathematical generalization of the quantum formalism
We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...
Liane Gabora, Diederik Aerts
ISEMANTICS
2010
14 years 4 months ago
Towards the formalization of interaction semantics
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
Irene Celino, Francesco Corcoglioniti