1511 search results - page 139 / 303 » Relational Parametricity for Computational Effects |
158
click to vote
WCE
2007
15 years 7 months ago
2007
- The manufacture of nitrocellulose, which is the basis of most artillery, tank, mortar and rocket propellant is intrinsically risky due to the energetic nature of the product and ...
155
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents Running Gestures, an interaction technique that relies on foot gestures while running. A prototype and evaluation of one of the proposed gestures, a mid-stride...
223
click to vote
ASC
2007
15 years 6 months ago
2007
Most real world engineering design optimisation approaches reported in the literature aim to find the best set of solutions using computationally expensive quantitative (QT ) mode...
162
click to vote
COLING
2002
15 years 6 months ago
2002
This paper proposes a method to analyze Japanese anaphora, in which zero pronouns (omitted obligatory cases) are used to refer to preceding entities (antecedents). Unlike the case...
105
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...