Sciweavers

3061 search results - page 46 / 613
» interactions 2010
Sort
View
ENVSOFT
2008
80views more  ENVSOFT 2008»
13 years 8 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»
13 years 8 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»
13 years 8 months ago
Interactive Modeling and Evaluation of Tumor Growth
Jacob Scharcanski, Luciano Silva da Silva, David K...
PR
2010
211views more  PR 2010»
13 years 8 months ago
Interactive image segmentation by maximal similarity based region merging
Jifeng Ning, Lei Zhang 0006, David Zhang, Chengke ...