1195 search results - page 84 / 239 » New constructions of SSPDs and their applications |
133
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
169
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
158
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
176
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
As more sensitive data is shared and stored by third-party sites on the Internet, there will be a need to encrypt data stored at these sites. One drawback of encrypting data, is t...
155
click to vote
GFKL
2006
Springer
15 years 10 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...