2183 search results - page 238 / 437 » Algorithmic issues in modeling motion |
160
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
123
click to vote
CSDA
2006
15 years 5 months ago
2006
An approach to simultaneous document classification and word clustering is developed using a two-way mixture model of Poisson distributions. Each document is represented by a vect...
134
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Many computer vision applications have to cope with large dynamic range and changing illumination conditions in the environment. Any attempt to deal with these conditions at the a...
150
click to vote
ECRTS
2008
IEEE
15 years 11 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
141
click to vote
WSCG
2003
15 years 6 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...