3134 search results - page 119 / 627 » Computing full disjunctions |
115
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Conformational analysis is the problem of nding all minimal energy three-dimensional con gurations of molecules. Cyclic structures are of particular interest. An ecient algorithm...
166
Voted
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
113
Voted
RELMICS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
88
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
112
Voted
BMVC
2001
15 years 5 months ago
2001
A method for the fronto-parallel recovery of paragraphs of text under full perspective transformation is presented. The horizontal vanishing point of the text plane is found using...