4609 search results - page 842 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
167
click to vote
IPM
2007
15 years 5 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...
150
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The large amount of completely sequenced genomes allows genomic context analysis to predict reliable functional associations between prokaryotic proteins. Major method...
146
click to vote
AROBOTS
2002
15 years 5 months ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...
246
click to vote
EUROMED
2010
15 years 3 months ago
2010
Modern high resolution 3D-measuring techniques are widely used in quality control and industrial production, because they allow precise and reliable inspection of objects. Their po...