Sciweavers

22 search results - page 2 / 5
» Using Abstraction and Nondeterminism to Plan Reaction Loops
Sort
View
COLING
1996
13 years 7 months ago
The Power of Words in Message Planning
Abstract: Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in parti...
Michael Zock
PSSE
2004
Springer
13 years 11 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
JISE
2006
76views more  JISE 2006»
13 years 6 months ago
Process and Planning Support for Iterative Porting
in an abstract Cartesian space of program versions characterized by dialect variables. An optimal solution to the problem is derived based on its translation to a restricted Intege...
Pradeep Varma
ECP
1997
Springer
128views Robotics» more  ECP 1997»
13 years 10 months ago
SINERGY: A Linear Planner Based on Genetic Programming
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
Ion Muslea
BILDMED
2009
217views Algorithms» more  BILDMED 2009»
13 years 3 months ago
Evaluation Scheme for a Positron Emission Tomography System Used in Monitoring of Radiation Therapy
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
Georgy Shakirin, Fine Fiedler, Wolfgang Enghardt