513 search results - page 66 / 103 » On Model Selection Consistency of Lasso |
118
Voted
ECIS
2000
15 years 3 months ago
2000
Current research activities in the area of trading digital products usually focus on specific legal or technical problems, neglecting the underlying business models and their impl...
145
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
127
Voted
MP
2002
15 years 1 months ago
2002
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
140
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
112
click to vote
CPAIOR
2005
Springer
15 years 7 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...