6020 search results - page 441 / 1204 » A New Approach to Model Counting |
220
click to vote
ATMOS
2010
15 years 5 months ago
2010
To model and solve optimization problems arising in public transportation, data about the passengers is necessary and has to be included in the models in any phase of the planning...
228
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— Non-rigid object detection is a challenging open research problem in computer vision. It is a critical part in many applications such as image search, surveillance, humancomput...
210
click to vote
SMI
2005
IEEE
16 years 15 days ago
2005
IEEE
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
193
click to vote
IFM
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
237
click to vote
AMDO
2000
Springer
15 years 10 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...