5465 search results - page 22 / 1093 » Assigning Types to Processes |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper focuses on the assignment of discrete points to two robots, in the presence of geometric and kinematic constraints between the robots. The individual points have dif...
ENTCS
2008
13 years 7 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
The capacity assignment (CA) problem is one of the most essential yet important topics in packet communication networks. However, most reported CA models were established under the...
TSD
2000
Springer
13 years 11 months ago
2000
Springer
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
CACM
1998
13 years 7 months ago
1998
ed the key process areas from the PCMM and made a checklist. Preparatory task number two was complete. However, I still felt underprepared. Certainly people and process are importa...