Sciweavers

2098 search results - page 304 / 420
» Syntactic Topic Models
Sort
View
231
Voted
POPL
2003
ACM
16 years 2 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
241
Voted

Book
600views
17 years 1 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
286
Voted

Lecture Notes
773views
17 years 7 days 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
126
Voted
ICIP
2002
IEEE
16 years 3 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...
121
Voted
ICML
2008
IEEE
16 years 3 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