23119 search results - page 314 / 4624 » From Domain to Requirements |
167
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
173
click to vote
IJCNLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
178
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
188
click to vote
AIPS
2003
15 years 8 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
180
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...