979 search results - page 129 / 196 » Footprints in Local Reasoning |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
RECOMB
2002
Springer
14 years 8 months ago
2002
Springer
The field of algorithms for pairwisc biosequence similarity search is dominated by heuristic methods of high efficiency but uncertain sensitivity. One reason that more formal stri...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Geographic web search engines allow users to constrain and order search results in an intuitive manner by focusing a query on a particular geographic region. Geographic search tec...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...