8499 search results - page 101 / 1700 » cans 2009 |
91
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
The classical zero-one law for first-order logic on random graphs says that for every first-order property in the theory of graphs and every p (0, 1), the probability that the r...
105
Voted
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
117
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
102
Voted
ICIAP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Line matching across images taken by a central imaging system (perspective or catadioptric) with focus on short baseline motion of the system is proposed. The relationshi...
91
Voted
TCC
2009
Springer
16 years 1 months ago
2009
Springer
Gordon et al. recently showed that certain (non-trivial) functions can be computed with complete fairness in the two-party setting. Motivated by their results, we initiate a study...