5630 search results - page 912 / 1126 » Computability in Specification |
163
click to vote
IOR
2006
15 years 6 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
163
click to vote
PPOPP
1990
ACM
15 years 10 months ago
1990
ACM
Abstract - A multiprocessor system capable of exploiting fine-grained parallelism must support efficient synchronization and data passing mechanisms. This paper demonstrates the us...
178
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Chronic network conditions are caused by performance impairing events that occur intermittently over an extended period of time. Such conditions can cause repeated performance deg...
222
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Feature selection is an important aspect of solving data-mining and machine-learning problems. This paper proposes a feature-selection method for the Support Vector Machine (SVM) l...
192
click to vote
SIGPRO
2002
15 years 6 months ago
2002
Image restoration from degraded images lies at the foundation of image processing, pattern recognition, and computer vision, so it has been extensively studied. A large number of ...