7326 search results - page 1107 / 1466 » Methods for modalities 3 |
181
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
223
click to vote
PPOPP
2006
ACM
16 years 23 days ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
171
click to vote
SMI
2005
IEEE
16 years 11 days ago
2005
IEEE
For time-dependent scalar fields, one is often interested in topology changes of contours in time. In this paper, we focus on describing how contours split and merge over a certa...
238
click to vote
ARCS
2005
Springer
16 years 11 days ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
189
click to vote
ICMI
2005
Springer
16 years 9 days ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...