1689 search results - page 33 / 338 » On Natural Non-dcpo Domains |
128
click to vote
AISC
2010
Springer
15 years 6 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
159
click to vote
JFPLC
2004
15 years 3 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
ENTCS
2002
15 years 1 months ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
108
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
100
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
The speech parameter generation algorithm considering global variance (GV) for HMM-based speech synthesis proved to be effective against the over-smoothing problem. However, the c...