2364 search results - page 154 / 473 » An Engine for Computing Well-Founded Models |
149
click to vote
AAI
2006
15 years 4 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
118
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
104
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
117
click to vote
PROFES
2005
Springer
15 years 10 months ago
2005
Springer
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
114
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents information flow model and a novel artificial life grid model to construct artificial life computer ecosystem environment. The life grid model is a three-dimens...