Sciweavers

769 search results - page 127 / 154
» The Chemical Reaction Model
Sort
View
SUM
2010
Springer
13 years 7 months ago
Cost-Based Query Answering in Action Probabilistic Logic Programs
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
Gerardo I. Simari, John P. Dickerson, V. S. Subrah...
ICMI
2009
Springer
188views Biometrics» more  ICMI 2009»
13 years 6 months ago
Detecting user engagement with a robot companion using task and social interaction-based features
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
Ginevra Castellano, André Pereira, Iolanda ...
HOLOMAS
2011
Springer
12 years 8 months ago
Dynamic Trajectory Replanning for Unmanned Aircrafts Supporting Tactical Missions in Urban Environments
In the last decade we witnessed an increased demand for employment of unmanned aerial vehicles (UAV) in practise. For instance, there is a growing need to provide surveillance task...
Lukás Chrpa, Peter Novák
SPIN
2000
Springer
14 years 14 days ago
Verification and Optimization of a PLC Control Schedule
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
Ed Brinksma, Angelika Mader
IDA
2009
Springer
13 years 6 months ago
Estimating Hidden Influences in Metabolic and Gene Regulatory Networks
We address the applicability of blind source separation (BSS) methods for the estimation of hidden influences in biological dynamic systems such as metabolic or gene regulatory net...
Florian Blöchl, Fabian J. Theis