1138 search results - page 192 / 228 » Talking about concerns |
110
Voted
PODC
1999
ACM
15 years 5 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
118
click to vote
MICRO
1997
IEEE
15 years 5 months ago
1997
IEEE
Compiler optimizations are often driven by specific assumptions about the underlying architecture and implementation of the target machine. For example, when targeting shared-mem...
100
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
With new technology, people can share information about everyday places they go; the resulting data helps others find and evaluate places. Recent applications like Dodgeball and S...
124
click to vote
MFCS
1995
Springer
15 years 4 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
93
Voted
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
Opinion mining is a recent subdiscipline of computational linguistics which is concerned not with the topic a document is about, but with the opinion it expresses. To aid the extr...