1541 search results - page 132 / 309 » Interaction Analysis in Aspect-Oriented Models |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
LISP
2008
13 years 7 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
ENVSOFT
2007
13 years 7 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
BMCBI
2002
13 years 7 months ago
2002
Background: Intracellular signal transduction is achieved by networks of proteins and small molecules that transmit information from the cell surface to the nucleus, where they ul...