657 search results - page 36 / 132 » A Version Numbering Scheme with a Useful Lexicographical Ord... |
KR
2010
Springer
15 years 2 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
ICDCS
2003
IEEE
2003
IEEE
An Integrated Resource Sharing Policy for Multimedia Storage Servers Based on Network-Attached Disks
15 years 3 months ago
In this paper, we propose using the network-attached disk (NAD) architecture to design highly scalable and cost-effective multimedia-on-demand (MOD) servers. In order to ensure en...
TON
2012
13 years 5 days ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Genetic Algorithms (GAs) are very commonly used as function optimizers, basically due to their search capability. A number of different serial and parallel versions of GA exist. ...
118
click to vote
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...