2013 search results - page 66 / 403 » Happy New Year |
137
click to vote
ELPUB
2003
ACM
15 years 11 months ago
2003
ACM
Design is a way of communication and expression. Words, shapes and images are a language and all together contribute to an effective communication. Designers and creative media la...
162
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
163
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
187
click to vote
CSCW
2000
ACM
15 years 10 months ago
2000
ACM
Social resources like trust and shared identity make it easier for people to work and play together. Such social resources are sometimes referred to as social capital. Thirty year...
147
click to vote
ISMVL
1999
IEEE
15 years 10 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...