Sciweavers

3061 search results - page 46 / 613
» interactions 2010
Sort
View
ENVSOFT
2008
80views more  ENVSOFT 2008»
14 years 10 months ago
A framework for linking advanced simulation models with interactive cognitive maps
Frank van Kouwen, Paul P. Schot, Martin J. Wassen
JAR
2010
83views more  JAR 2010»
14 years 10 months ago
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
Sascha Böhme, Michal Moskal, Wolfram Schulte,...
JDI
2010
57views more  JDI 2010»
14 years 10 months ago
Interactive Modeling and Evaluation of Tumor Growth
Jacob Scharcanski, Luciano Silva da Silva, David K...
PR
2010
211views more  PR 2010»
14 years 10 months ago
Interactive image segmentation by maximal similarity based region merging
Jifeng Ning, Lei Zhang 0006, David Zhang, Chengke ...