8874 search results - page 114 / 1775 » A New Implementation of Automath |
120
Voted
IJCAI
1993
15 years 5 months ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
142
Voted
DISOPT
2008
15 years 3 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
117
Voted
TMI
2008
15 years 3 months ago
2008
A new technique is presented for interpolating between grey-scale images in a medical data set. Registration between neighboring slices is achieved with a modified control grid int...
108
Voted
CSCW
2002
ACM
2002
ACM
A new dimension in access control: studying maintenance engineering across organizational boundaries
15 years 3 months ago
Inter-organizational cooperation has specific requirements for access control. The paper presents the results from a field study which looks at the cooperation between two enginee...
122
Voted
IPL
2000
15 years 3 months ago
2000
A novel universal and fault-tolerant basis (set of gates) for quantum computation is described. Such a set is necessary to perform quantum computation in a realistic noisy environ...