1948 search results - page 35 / 390 » Formalizing Mirror Theory |
PADL
2004
Springer
14 years 2 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In everyday life, humans interact with many products. In many of these interactions, a person performs an action with, toward, or in the vicinity of a product and then the product...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
TFM
2009
Springer
14 years 3 months ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...