506 search results - page 80 / 102 » Where Is the Value in a Program Verifier |
141
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...
150
click to vote
JMLR
2006
15 years 3 months ago
2006
Support vector machines utilizing the 1-norm, typically set up as linear programs (Mangasarian, 2000; Bradley and Mangasarian, 1998), are formulated here as a completely unconstra...
132
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
134
click to vote
APPT
2005
Springer
15 years 9 months ago
2005
Springer
Identifying the patterns of large data sets is a key requirement in data mining. A powerful technique for this purpose is the principal component analysis (PCA). PCA-based clusteri...
116
click to vote
ESWA
2006
15 years 4 months ago
2006
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...