1157 search results - page 131 / 232 » Descriptive Complexity and Model Checking |
85
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
The autoregressive HMM has been shown to provide efficient parameter estimation and high-quality synthesis, but in previous experiments decision trees derived from a non-autoregre...
145
Voted
SIGMOD
2004
ACM
16 years 15 days ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
109
click to vote
ML
2006
ACM
15 years 9 days ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
121
Voted
DSRT
2008
IEEE
15 years 2 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
CSREAPSC
2006
15 years 1 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...