4743 search results - page 104 / 949 » The PlusCal Algorithm Language |
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
115
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
121
click to vote
UAI
2000
15 years 3 months ago
2000
Techniques for plan recognition under uncertainty require a stochastic model of the plangeneration process. We introduce probabilistic state-dependent grammars (PSDGs) to represen...
111
click to vote
ECAL
1999
Springer
15 years 6 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
114
click to vote
APPROX
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...