3116 search results - page 73 / 624 » Positively dependent types |
179
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
A reparable database management system has the ability to automatically undo the set of transactions that are corrupted by a human error or malicious attack. The key technical chal...
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
110
click to vote
IJRR
2002
14 years 11 months ago
2002
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...