10910 search results - page 352 / 2182 » Input modeling using a computer algebra system |
173
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
174
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
162
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this article we approach neural networks as computational templates that travel across various sciences. Traditionally, it has been thought that models are primarily models of s...
181
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We present a probabilistic framework for recognizing objects in images of cluttered scenes. Hundreds of objects may be considered and searched in parallel. Each object is learned f...
184
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...