506 search results - page 80 / 102 » Where Is the Value in a Program Verifier |
116
click to vote
CP
2006
Springer
15 years 4 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...
116
click to vote
JMLR
2006
15 years 13 days 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...
95
Voted
HICSS
2007
IEEE
15 years 6 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 ...
106
Voted
APPT
2005
Springer
15 years 6 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...
89
Voted
ESWA
2006
15 years 15 days 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...