6020 search results - page 521 / 1204 » A New Approach to Model Counting |
172
click to vote
CSSC
2008
15 years 7 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
205
Voted
CAGD
2005
15 years 7 months ago
2005
In this work a new multi-resolution model is proposed for polygonal meshes. It is based on the dual edge collapse, which performs face clustering instead of vertex clustering. The...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Hidden Markov models are traditionally decoded by the Viterbi algorithm which finds the highest probability state path in the model. In recent years, several limitations ...
234
click to vote
NN
2010
Springer
15 years 1 months ago
2010
Springer
Kernelized LASSO (Least Absolute Selection and Shrinkage Operator) has been investigated in two separate recent papers (Gao et al., 2008) and (Wang et al., 2007). This paper is co...
194
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Enterprise mashups (EMs) are a new technology that enables the automation of situational needs of knowledge workers. EMs imply a new development paradigm based on the peer product...