2642 search results - page 128 / 529 » The development of Chez Scheme |
117
click to vote
ETS
2002
IEEE
15 years 14 days ago
2002
IEEE
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
108
click to vote
MCS
2007
Springer
15 years 6 days ago
2007
Springer
We describe a Monte Carlo method for the numerical computation of the principal eigenvalue of the Laplace operator in a bounded domain with Dirichlet conditions. It is based on th...
116
Voted
SMI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
91
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
: An inverse iterative algorithm for microwave imaging based on moment method solution is presented here. The iterative scheme has been developed on constrained optimization techni...
101
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...