4320 search results - page 338 / 864 » Functional Objects |
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
189
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we propose a novel synthesis technique for BTFs. A BTF (bidirectional texture function) is a 6D function which can represent appearances of a texture under arbitrar...
191
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
169
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
167
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...