Sciweavers

2436 search results - page 153 / 488
» Comonadic Notions of Computation
Sort
View
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 4 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
CTW
2004
102views more  CTW 2004»
15 years 4 months ago
Supporting the sense of presence in control environments
This paper proposes a notion of presence which overcomes its strict interpretation in terms of physical projection and perception, and interprets ``the sense of being there'&#...
Stefania Bandini, Sara Manzoni, Fabrizio Nunnari, ...
KBS
1998
122views more  KBS 1998»
15 years 4 months ago
Concept formation in design
: This paper presents a computationally tractable view on where simple design concepts come from by proposing a paradigm for the formation of design concepts based on the emergence...
John S. Gero
IPL
2010
69views more  IPL 2010»
15 years 2 months ago
A simple representation of subwords of the Fibonacci word
We introduce a representation of subwords of the infinite Fibonacci word f∞ by a specific concatenation of finite Fibonacci words. It is unique and easily computable by backwa...
Bartosz Walczak
RWEB
2010
Springer
15 years 2 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan