4743 search results - page 517 / 949 » The PlusCal Algorithm Language |
134
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
120
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
134
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...
116
click to vote
ICDM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes an unsupervised algorithm for segmenting categorical time series into episodes. The VOTING-EXPERTS algorithm first collects statistics about the frequency an...
128
click to vote
DLOG
2001
15 years 4 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...