4702 search results - page 29 / 941 » How to Copyright a Function |
85
Voted
ENTCS
2006
15 years 17 days ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
92
Voted
EL
2006
15 years 17 days ago
2006
Digital libraries offer opportunities for elearning that are not possible in their physical counterparts. Digital libraries complement other learning environments, such as those p...
97
Voted
FTCS
1998
15 years 1 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
CHI
2006
ACM
16 years 29 days ago
2006
ACM
A surprisingly high percentage of assistive technology devices (35% or more) are purchased, but not successfully adopted. Through semi-structured interviews with a dozen families,...
106
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...