1959 search results - page 187 / 392 » Concerned About Separation |
225
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
215
click to vote
WSC
2008
15 years 9 months ago
2008
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...
171
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we concern a swing-up control problem for an n-link revolute planar robot with any one of the joint being a passive joint. The goal of this study is to design and an...
179
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
A recently proposed approach to address privacy concerns in storing web search querylogs is bundling logs of multiple users together. In this work we investigate privacy leaks tha...
176
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we describe some studies of Portuguese-English word alignment, focusing on (i) measuring the importance of the coupling between dictionaries and corpus; (ii) assessi...