549 search results - page 44 / 110 » Verification condition generation for conditional informatio... |
103
Voted
CIKM
1997
Springer
15 years 4 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
106
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Given the video of a still background occluded by a fluid dynamic texture (FDT), this paper addresses the problem of separating the video sequence into its two constituent layers....
233
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract-- Cisco's NetFlow Collector (NFC) is a powerful example of a real-world product that supports multiple aggregate queries over a continuous stream of IP flow records. ...
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
133
click to vote
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...