4670 search results - page 355 / 934 » Toward meaningful computing |
193
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Pulitzer Prize-winning journalist Nicholas Kristof argues that “in this century the paramount moral challenge will be the struggle for gender equality around the world.” In th...
198
click to vote
ACL
2012
13 years 9 months ago
2012
This paper describes a novel approach towards the empirical approximation of discourse relations between different utterances in texts. Following the idea that every pair of event...
180
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...
177
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
177
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...