734 search results - page 81 / 147 » Design and implementation of expressive footwear |
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
— The use of higher-order functions, as a method of ion and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motiva...
ENTCS
2007
13 years 7 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
CI
2004
13 years 7 months ago
2004
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...