Sciweavers

769 search results - page 79 / 154
» Action Research
Sort
View
BMCBI
2006
104views more  BMCBI 2006»
13 years 7 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi
CORR
2007
Springer
111views Education» more  CORR 2007»
13 years 7 months ago
Hypocomputation
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
David Love
KI
2008
Springer
13 years 7 months ago
On-Line Detection of Rule Violations in Table Soccer
In table soccer, humans can not always thoroughly observe fast actions like rod spins and kicks. However, this is necessary in order to detect rule violations for example for tourn...
Armin Hornung, Dapeng Zhang 0002
JAIR
2007
79views more  JAIR 2007»
13 years 7 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann
AI
2004
Springer
13 years 7 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan