4167 search results - page 332 / 834 » Regression model checking |
154
click to vote
IJCAI
2007
15 years 6 months ago
2007
This paper proposes and develops a new graph-based semi-supervised learning method. Different from previous graph-based methods that are based on discriminative models, our method...
114
click to vote
ECR
2007
15 years 4 months ago
2007
Abstract This paper presents the results of a field study conducted to elucidate critical factors that determine sellers’ net revenue in Internet auctions. Using two datasets of...
119
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
166
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
133
click to vote
ISQED
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...