36320 search results - page 422 / 7264 » From Code to Models |
197
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper proposes to combine spatial and color coherency with the pixel-wise GMM to determine the background model. We first represent each pixel with a hybrid feature vector, w...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
223
click to vote
SI3D
2006
ACM
16 years 23 days ago
2006
ACM
The human hand is an important interface with complex shape and movement. In virtual reality and gaming applications the use of an individualized rather than generic hand represen...
155
Voted
WOSP
2004
ACM
16 years 7 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
191
click to vote
LION
2010
Springer
15 years 11 months ago
2010
Springer
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...