2490 search results - page 311 / 498 » The Generalized Theory of Model Preference |
183
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
203
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
142
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
145
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
124
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...