613 search results - page 99 / 123 » Finding and Fixing Faults |
135
click to vote
REALWSN
2010
14 years 6 months ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...
TSP
2010
14 years 6 months ago
2010
The problem of learning tree-structured Gaussian graphical models from independent and identically distributed (i.i.d.) samples is considered. The influence of the tree structure a...
116
click to vote
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
—Content-based video indexing and retrieval has become an interesting research area with the tremendous growth in the amount of digital media. In addition to the audio-visual con...
121
click to vote
PAMI
2012
13 years 2 months ago
2012
—We propose an efficient and robust solution for image set classification. A joint representation of an image set is proposed which includes the image samples of the set and thei...
SIGSOFT
2004
ACM
16 years 16 days ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...