Sciweavers

2098 search results - page 304 / 420
» Syntactic Topic Models
Sort
View
POPL
2003
ACM
14 years 10 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani

Book
600views
15 years 9 months ago
Computer Vision: Algorithms and Applications
A DRAFT computer vision book by Prof. Richard Szeliski. The book reflects the author's wide experience in practical computer vision algorithms that he has developed while work...
Richard Szeliski

Lecture Notes
773views
15 years 8 months ago
Computer Networking and Internet Protocols: A Comprehensive Introduction
The lecture notes cover the following topics, Fundamentals (OSI Reference Model, Coding, Ethernet), Data Link Control (Flow Control, Error Control, HDLC, PPP), Internet Protocol ...
Raj Jain
ICIP
2002
IEEE
14 years 12 months ago
Likelihood-based object detection and object tracking using color histograms and EM
The topic of this paper is the integration of Expectation Maximization (EM) background modeling and template matching using color histograms as templates to improve person trackin...
Paul J. Withagen, Klamer Schutte, Frans C. A. Groe...
ICML
2008
IEEE
14 years 11 months ago
Fully distributed EM for very large datasets
In EM and related algorithms, E-step computations distribute easily, because data items are independent given parameters. For very large data sets, however, even storing all of th...
Jason Wolfe, Aria Haghighi, Dan Klein