4502 search results - page 309 / 901 » Regular Model Checking |
158
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Super resolution technique could produce a higher resolution image than the originally captured one. However, nearly all super-resolution algorithms aim at 2D images. In this pape...
187
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
In this contribution we transfer a customer purchase incidence model for consumer products which is based on Ehrenberg's repeat-buying theory to Web-based information products...
152
click to vote
SMI
2003
IEEE
15 years 12 months ago
2003
IEEE
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...
171
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
150
click to vote
NIPS
2007
15 years 8 months ago
2007
We introduce supervised latent Dirichlet allocation (sLDA), a statistical model of labelled documents. The model accommodates a variety of response types. We derive a maximum-like...