10891 search results - page 223 / 2179 » Combining Model Reductions |
107
click to vote
ENTCS
2008
15 years 3 months ago
2008
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
110
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Three state-of-the-art statistical parsers are combined to produce more accurate parses, as well as new bounds on achievable Treebank parsing accuracy. Two general approaches are ...
111
click to vote
FM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
123
click to vote
KDD
2005
ACM
15 years 9 months ago
2005
ACM
Data clustering represents an important tool in exploratory data analysis. The lack of objective criteria render model selection as well as the identification of robust solutions...
113
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper describes a plan to combine IT support for major tertiary hospitals through to independent GPs under a single application support provider. The objectives of the centre ...