3134 search results - page 308 / 627 » Computing full disjunctions |
126
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
Multi-homed and overlay networks are two widely studied approaches aimed at leveraging the inherent redundancy of the Internet's underlying routing infrastructure to enhance ...
159
click to vote
CLOR
2006
15 years 6 months ago
2006
We describe an approach to object retrieval which searches for and localizes all the occurrences of an object in a video, given a query image of the object. The object is represent...
125
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
124
click to vote
ISHPC
2000
Springer
15 years 6 months ago
2000
Springer
Traditional parallel compilers do not effectively parallelize irregular applications because they contain little looplevel parallelism due to ambiguous memory references. We explo...
121
click to vote
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...