922 search results - page 89 / 185 » Fairness, Resources, and Separation |
AAAI
2007
15 years 27 days ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
We present experiences from a two-year study of adopting pair programming (PP) in a Finnish software product company. When adopting PP, the company used five tactics: the creation...
CSL
2007
Springer
15 years 4 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
HT
2000
ACM
15 years 2 months ago
2000
ACM
Clustering separates unrelated documents and groups related documents, and is useful for discrimination, disambiguation, summarization, organization, and navigation of unstructure...
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...