Sciweavers

14642 search results - page 17 / 2929
» It's Time for a Change
Sort
View
AI
2011
Springer
13 years 4 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
NIPS
2003
13 years 11 months ago
Analytical Solution of Spike-timing Dependent Plasticity Based on Synaptic Biophysics
Spike timing plasticity (STDP) is a special form of synaptic plasticity where the relative timing of post- and presynaptic activity determines the change of the synaptic weight. O...
Bernd Porr, Ausra Saudargiene, Florentin Wörg...
ISBMS
2010
Springer
14 years 2 months ago
A Theoretical Model for RF Ablation of Kidney Tissue and Its Experimental Validation
Radio-frequency (RF) ablation is a minimal invasive thermal therapy, currently considered as an alternative to surgery to eradicate small solid kidney tumors. Our aim is to underst...
Mihaela Pop, Sean R. H. Davidson, Mark Gertner, Mi...
BPM
2008
Springer
152views Business» more  BPM 2008»
13 years 11 months ago
Reasoning about Repairability of Workflows at Design Time
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
Gaston Tagni, Annette ten Teije, Frank van Harmele...
LISA
2004
13 years 11 months ago
Meta Change Queue: Tracking Changes to People, Places, and Things
Managing information flow between different parts of the enterprise information infrastructure can be a daunting task. We have grown too large to send the complete lists around an...
Jon Finke