1677 search results - page 86 / 336 » On the Completeness of Quantum Computation Models |
80
Voted
ISMB
1998
15 years 2 months ago
1998
Wedescribe a prototype system (Poly-X) for assisting an expert user in modelingprotein repeats. Poly-X reduces the large numberof degrees of freedomrequired to specify a protein m...
123
click to vote
ASE
2004
15 years 1 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
103
click to vote
BILDMED
2008
15 years 3 months ago
2008
Abstract. In this paper, we introduce a new method for hatching patient-specific, anatomic 3D surface models, in particular hatching of muscle surfaces. However, the method is tran...
138
click to vote
AVI
1996
15 years 2 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
100
click to vote
CASCON
2008
15 years 3 months ago
2008
The process of recognizing individual handwritten characters is one of classifying curves. Typically, handwriting recognition systems-even "online" systems--require enti...