305 search results - page 25 / 61 » A Logical Framework to Deal with Variability |
108
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- This paper deals with the problems of decentralized implementability and decentralized regular implementability in the context of finite-dimensional linear differential ...
JAIR
2010
14 years 10 months ago
2010
This paper deals with value (and Q-) function approximation in deterministic Markovian decision processes (MDPs). A general statistical framework based on the Kalman filtering pa...
118
click to vote
GW
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
AGI
2008
15 years 1 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
130
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...