3116 search results - page 245 / 624 » Positively dependent types |
145
click to vote
ICRA
2007
IEEE
16 years 17 days ago
2007
IEEE
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
145
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
163
click to vote
WETICE
2006
IEEE
16 years 8 days ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
161
click to vote
WCRE
2005
IEEE
15 years 12 months ago
2005
IEEE
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
171
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...