430 search results - page 30 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
EACL
2009
ACL Anthology
15 years 11 months ago
2009
ACL Anthology
We introduce cube summing, a technique that permits dynamic programming algorithms for summing over structures (like the forward and inside algorithms) to be extended with non-loc...
106
click to vote
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is fi...
116
click to vote
ENTCS
2007
14 years 10 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
IV
2005
IEEE
15 years 4 months ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
AMC
2005
14 years 10 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...