587 search results - page 61 / 118 » Role updating for assignments |
TARK
2005
Springer
14 years 2 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
ACRI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce a Cellular Potts model (a cellular-automatonbased Monte-Carlo model) of in vitro capillary development, or angiogenesis. Our model derives from a recent cont...
CP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
ICANN
2003
Springer
14 years 2 months ago
2003
Springer
We search for assignments of numbers to the amino acids (property codes) that maximize the autocorrelation function signal in given protein sequence data by an iterative method. Ou...
ITCC
2002
IEEE
14 years 1 months ago
2002
IEEE
† To guarantee quality of service (QoS), the requirements for video transmission such as delay and cell loss rate (CLR) are very stringent. These constraints are difficult to mee...