14577 search results - page 2798 / 2916 » Statistical Language Modelling |
124
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
115
Voted
FOCS
2000
IEEE
15 years 6 months ago
2000
IEEE
A constant rebalanced portfolio is an investment strategy that keeps the same distribution of wealth among a set of stocks from day to day. There has been much work on Cover'...
139
Voted
PKDD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
123
Voted
RSCTC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
125
Voted
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...