5325 search results - page 717 / 1065 » Effective Computation for Nonlinear Systems |
171
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper presents a projection algorithm for incremental control rule synthesis. The algorithm synthesizes an initial set of goal-achieving control rules using a combination of ...
144
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The study of countermeasures for hardware fault attack in multi-prime RSA cryptosystems is very important for applications such as computer network and smart cards. In this paper,...
166
click to vote
JAR
2008
15 years 6 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
199
click to vote
JCC
2002
15 years 6 months ago
2002
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...
213
click to vote
VLSISP
2002
15 years 6 months ago
2002
The multistage detection algorithm has been proposed as an effective interference cancellation scheme for next generation Wideband Code Division Multiple Access (W-CDMA) base stati...