3134 search results - page 119 / 627 » Computing full disjunctions |
120
Voted
DAC
1994
ACM
15 years 7 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...
176
Voted
APLAS
2001
ACM
15 years 7 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...
119
click to vote
RELMICS
2000
Springer
15 years 7 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...
94
Voted
SPIN
2000
Springer
15 years 7 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...
119
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...