3679 search results - page 701 / 736 » Hybrid Semantic Analysis |
218
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
200
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
190
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
173
Voted
PODS
2001
ACM
16 years 18 days ago
2001
ACM
The dimensionality curse has profound e ects on the effectiveness of high-dimensional similarity indexing from the performance perspective. One of the well known techniques for im...
141
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...