2316 search results - page 29 / 464 » The many forms of hypercomputation |
155
click to vote
CSFW
2012
IEEE
13 years 6 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...
106
click to vote
TOPLAS
2002
15 years 3 months ago
2002
A number of existing compiler techniques hinge on the analysis of array accesses in the program. The most important task in array access analysis is to collect the information abo...
140
Voted
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Graphical dialogue -the collaborative construction and modification of drawings- forms an integrated part of many human interactions e.g., the construction of sketch maps, archite...
181
click to vote
TPCG
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a deformation technique called Planar Bones, derived from Surface-oriented Free Form Deformations, and explores its application to the context of Facial Animat...
124
Voted
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...