6581 search results - page 433 / 1317 » Formalizing Design Patterns |
169
click to vote
IJRR
2010
15 years 4 months ago
2010
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
195
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
159
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
164
Voted
ACL
1993
15 years 7 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
145
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Poor literacy remains a decisive barrier to the economic empowerment of many people in the developing world. Of particular importance is literacy in a widely spoken "world la...