Sciweavers

4099 search results - page 658 / 820
» A Framework for Interactive Proof
Sort
View
IPPS
2010
IEEE
15 years 2 months ago
Measuring properties of molecular surfaces using ray casting
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
Mike Phillips, Iliyan Georgiev, Anna Katharina Deh...
IVA
2010
Springer
15 years 2 months ago
Expression of Behaviors in Assistant Agents as Influences on Rational Execution of Plans
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
Jean-Paul Sansonnet, François Bouchet
MICCAI
2010
Springer
15 years 2 months ago
Joint Generative Model for fMRI/DWI and Its Application to Population Studies
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
Archana Venkataraman, Yogesh Rathi, Marek Kubicki,...
SIGDIAL
2010
15 years 2 months ago
Advances in the Witchcraft Workbench Project
The Workbench for Intelligent exploraTion of Human ComputeR conversaTions is a new platform-independent open-source workbench designed for the analysis, mining and management of l...
Alexander Schmitt, Wolfgang Minker, Nada Sharaf
SIGSOFT
2010
ACM
15 years 2 months ago
Creating and evolving developer documentation: understanding the decisions of open source contributors
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
Barthélémy Dagenais, Martin P. Robil...