3233 search results - page 32 / 647 » Validation Method for Intelligent Systems |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
DNA
2006
Springer
13 years 9 months ago
2006
Springer
Whiplash PCR-based methods of biomolecular computation (BMC), while highly-versatile in principle, are well-known to suffer from a simple but serious form of self-poisoning known a...
HICSS
2005
IEEE
14 years 29 days ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
ACISP
2003
Springer
14 years 18 days ago
2003
Springer
NTRU is an efficient public-key cryptosystem proposed by Hoffstein, Pipher, and Silverman. Assuming access to a decryption oracle, we show ways to recover the private key of NTRU ...