960 search results - page 99 / 192 » Computational Semantics Of Mass Terms |
274
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
164
click to vote
PLDI
2009
ACM
16 years 15 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
158
click to vote
SAC
2010
ACM
16 years 17 days ago
2010
ACM
Accelerated by the technological advances in the domain, the size of the biomedical literature has been growing rapidly. As a result, it is not feasible for individual researchers...
177
click to vote
RTA
2007
Springer
15 years 12 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
155
click to vote
MHCI
2005
Springer
15 years 11 months ago
2005
Springer
ZuiScat is a visualization concept for querying large information spaces on Personal Digital Assistants (PDA). Retrieval results are presented in a dynamic scatterplot, which is e...