Sciweavers

2042 search results - page 94 / 409
» Variable Number of
Sort
View
IPPS
2000
IEEE
15 years 7 months ago
Scalable Monitoring Technique for Detecting Races in Parallel Programs
Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended nondeterministic executions of the programs. Previous on-the- y t...
Yong-Kee Jun, Charles E. McDowell
IJCAI
2003
15 years 5 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
ACL
1994
15 years 5 months ago
Word-Sense Disambiguation Using Decomposable Models
Most probabilistic classi ers used for word-sense disambiguationhave either been based on onlyone contextual feature or have used a model that is simply assumed to characterize th...
Rebecca F. Bruce, Janyce Wiebe
CSDA
2006
304views more  CSDA 2006»
15 years 4 months ago
Using principal components for estimating logistic regression with high-dimensional multicollinear data
The logistic regression model is used to predict a binary response variable in terms of a set of explicative ones. The estimation of the model parameters is not too accurate and t...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
SCL
2008
86views more  SCL 2008»
15 years 4 months ago
Control design in the time and frequency domain using nonsmooth techniques
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
Vincent Bompart, Pierre Apkarian, Dominikus Noll