Sciweavers

44 search results - page 4 / 9
» Generalized Point Based Value Iteration for Interactive POMD...
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
14 years 18 days ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
COMPLIFE
2006
Springer
14 years 7 days ago
A Point-Matching Based Algorithm for 3D Surface Alignment of Drug-Sized Molecules
Abstract. Molecular shapes play an important role in molecular interactions, e.g., between a protein and a ligand. The `outer' shape of a molecule can be approximated by its s...
Daniel Baum, Hans-Christian Hege
ISIPTA
2003
IEEE
14 years 1 months ago
Convenient Interactive Computing for Coherent Imprecise Prevision Assessments
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
James Dickey
AAAI
2006
13 years 10 months ago
Belief Change in the Context of Fallible Actions and Observations
We consider the iterated belief change that occurs following an alternating sequence of actions and observations. At each instant, an agent has some beliefs about the action that ...
Aaron Hunter, James P. Delgrande
ACMDIS
2008
ACM
13 years 10 months ago
Constructivism, virtual reality and tools to support design
This paper describes a process for creating a design tool, which is based in constructivism. The process is described for the creation of a tool to help novices in designing virtu...
Cara Winterbottom, Edwin H. Blake