4609 search results - page 502 / 922 » Automatic Generation of Sigma-Protocols |
163
click to vote
AEI
2007
15 years 7 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
196
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
178
click to vote
DM
2007
15 years 6 months ago
2007
A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by ...
183
click to vote
JVCA
2008
15 years 6 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...
234
click to vote
SANSKRIT
2010
15 years 4 months ago
2010
Sanskrit is very rich in compound formation. Typically a compound does not code the relation between its components explicitly. To understand the meaning of a compound, it is neces...