2911 search results - page 130 / 583 » A Theory of Expressiveness in Mechanisms |
147
click to vote
HICSS
2006
IEEE
16 years 13 days ago
2006
IEEE
Control and flexibility may appear an unlikely pair. However, we propose that effective flexible software development processes must still provide clear control mechanisms to mana...
144
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
109
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This paper describes the evaluation of a gesture-based mechanism for issuing the back and forward commands in web navigation. Results show that subjects were able to navigate sign...
130
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a robotic manipulation primitive called toppling--knocking a part over. We derive the mechanical conditions for toppling, express these as constraints on robo...
168
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...