4592 search results - page 376 / 919 » Framework for Studying Substitution |
168
Voted
KI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
216
Voted
PERSUASIVE
2009
Springer
16 years 2 months ago
2009
Springer
Value Sensitive Design and Participatory Design are two methodological frameworks that account for ethical issues throughout the process of technology design. Through analysis and...
164
Voted
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper, we study the tracking problem for Lur’e-type measure differential inclusions. The framework of measure differential inclusions allows us to describe systems wi...
211
Voted
CSFW
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
186
Voted
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...