1999 search results - page 192 / 400 » Dependently Typed Grammars |
165
click to vote
FCCM
2008
IEEE
16 years 28 days ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
150
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
149
click to vote
ICRA
2007
IEEE
16 years 23 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...
152
click to vote
CONCUR
2007
Springer
16 years 19 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...
172
click to vote
WETICE
2006
IEEE
16 years 14 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...