14704 search results - page 213 / 2941 » computing 2007 |
126
Voted
AMC
2006
15 years 3 months ago
2006
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
117
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
87
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
143
Voted
ICMLA
2003
15 years 4 months ago
2003
— Using the 1998 DARPA BSM data set collected at MIT’s Lincoln Labs to study intrusion detection systems, the performance of robust support vector machines (RVSMs) was compared...
134
Voted
FCS
2006
15 years 4 months ago
2006
: In this paper, we propose two procedures for multiplication and division using DNA strands. We first show a procedure for multiplication of a pair of two binary numbers. The proc...