2196 search results - page 19 / 440 » Practical Reasoning Using Values |
EGOV
2010
Springer
13 years 7 months ago
2010
Springer
Information-based strategies to promote open government offer many opportunities to generate social and economic value through public use of government information. Public and poli...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
CHI
2009
ACM
14 years 1 months ago
2009
ACM
The use of examples serves a critical role in creative design practice, but details of this process remain an enigma. This is problematic for both the understanding of design acti...
EMNLP
2010
13 years 6 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...