4743 search results - page 948 / 949 » The PlusCal Algorithm Language |
CAV
1999
Springer
14 years 25 days ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
CCS
1999
ACM
14 years 25 days ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
DAM
2011
13 years 3 months ago
2011
Partial words, which are sequences that may have some undeļ¬ned positions called holes, can be viewed as sequences over an extended alphabet A = A āŖ { }, where stands for a hol...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
Over the past few years, the discussion between the two major architectural styles for designing and implementing Web services, the RPC-oriented approach and the resourceoriented ...
INTERSPEECH
2010
13 years 3 months ago
2010
In this work, we describe a subword unit approach for information retrieval of items by voice. An algorithm based on the minimum description length (MDL) principle converts an ind...